Tool DemonstrationsISSTA/ECOOP 2024
Wed 18 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
12:00 - 13:30 | |||
12:00 - 13:30 | Diversity and Inclusion LunchISSTA/ECOOP Social Events at EI 1 Petritsch https://conf.researchr.org/track/issta-ecoop-2024/issta-ecoop-2024-diversity | ||
13:30 - 15:00 | Tool Demos 1ISSTA/ECOOP Tool Demonstrations at EI 5 Hochenegg Chair(s): Rohan Padhye Carnegie Mellon University | ||
13:30 12mTalk | Generalized Concurrency Testing Tool for Distributed Systems ISSTA/ECOOP Tool Demonstrations Ege Berkay Gulcan Delft University of Technology, João Neto Delft University of Technology, Burcu Kulahcioglu Ozkan Delft University of Technology DOI Media Attached | ||
13:42 12mTalk | Testing concurrent algorithms on JVM with Lincheck and IntelliJ IDEADistinguished Tool Demo Award ISSTA/ECOOP Tool Demonstrations Alexander Potapov JetBrains, Maksim Zuev JetBrains, Evgenii Moiseenko JetBrains Research, Nikita Koval JetBrains | ||
13:55 12mTalk | JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking ISSTA/ECOOP Tool Demonstrations Zaiyu Cheng University of Manchester, Tong Wu University of Manchester, Peter Schrammel University of Sussex and Diffblue Ltd, Norbert Tihanyi Eotvos Lorand University, Eddie B. de Lima Filho TPV Technology, Lucas C. Cordeiro University of Manchester, UK and Federal University of Amazonas, Brazil | ||
14:08 12mTalk | ESBMC-Python: A Bounded Model Checker for Python Programs ISSTA/ECOOP Tool Demonstrations Bruno Farias University of Manchester, Rafael Menezes University of Manchester, Eddie B. de Lima Filho TPV Technology, Youcheng Sun University of Manchester, Lucas C. Cordeiro University of Manchester, UK and Federal University of Amazonas, Brazil Media Attached | ||
14:21 12mTalk | Panda: A Concurrent Scheduler for Compiler-Based Tools ISSTA/ECOOP Tool Demonstrations Xutong Ma Institute of Software, Chinese Academy of Sciences, Beijing, China, Jiwei Yan Institute of Software at Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences DOI Pre-print Media Attached | ||
14:34 12mTalk | SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries ISSTA/ECOOP Tool Demonstrations Ningyu He Peking University, Zhehao Zhao Peking University, Hanqin Guan Peking University, Jikai Wang Huazhong University of Science and Technology, Shreya Mathews IMC University of Applied Sciences Krems, Ding Li Peking University, Haoyu Wang Huazhong University of Science and Technology, Xiangqun Chen Peking University, Yao Guo Peking University | ||
14:47 12mTalk | PolyTracker: Whole-Input Dynamic Information Flow TracingDistinguished Tool Demo Award ISSTA/ECOOP Tool Demonstrations Evan Sultanik Trail of Bits, Marek Surovič Trail of Bits, Henrik Brodin Trail of Bits, Kelly Kaoudis Trail of Bits, Facundo Tuesca Trail of Bits, Carson Harmon Trail of Bits, Lisa Overall Trail of Bits, Joseph Sweeney Trail of Bits, Bradford Larsen Trail of Bits |
15:00 - 15:30 | |||
15:30 - 17:00 | Tool demos 2ISSTA/ECOOP Tool Demonstrations at EI 5 Hochenegg Chair(s): Rohan Padhye Carnegie Mellon University | ||
15:30 12mTalk | SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs ISSTA/ECOOP Tool Demonstrations Paul Fiterau-Brostean Uppsala University, Konstantinos (Kostis) Sagonas Uppsala University and Nat. Tech. Univ. of Athens, Fredrik Tåquist Uppsala University, Bengt Jonsson Uppsala University, Sweden DOI Media Attached | ||
15:42 12mTalk | FRAFOL: FRAmework FOr Learning mutation testing ISSTA/ECOOP Tool Demonstrations Pedro Tavares Faculty of Engineering, University of Porto, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto, Domenico Amalfitano University of Naples Federico II, René Just University of Washington | ||
15:55 12mTalk | FixCheck: A Tool for Improving Patch Correctness Analysis ISSTA/ECOOP Tool Demonstrations Facundo Molina IMDEA Software Institute, Juan Manuel Copia IMDEA Software Institute; Universidad Politécnica de Madrid, Alessandra Gorla IMDEA Software Institute | ||
16:08 12mTalk | HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities ISSTA/ECOOP Tool Demonstrations Luqiao Wang Xidian University, Qiangqiang Wang Xidian University, Jiaqi Wang Xidian University, Yutong Zhao University of Central Missouri, Minjie Wei Xidian University, Zhou Quan Xidian University, Di Cui Xidian University, Qingshan Li Xidian University | ||
16:21 12mTalk | DMMPP: Constructing Dummy Main Methods for Android Apps with Path-sensitive Predicates ISSTA/ECOOP Tool Demonstrations Baoquan Cui Institute of Software at Chinese Academy of Sciences, China, Jiwei Yan Institute of Software at Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
16:34 12mTalk | FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts ISSTA/ECOOP Tool Demonstrations Yunqi Liu Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology Media Attached | ||
16:47 12mTalk | The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios ISSTA/ECOOP Tool Demonstrations Alessio Gambi Austrian Institute of Technology (AIT), Shreya Mathews IMC University of Applied Sciences Krems, Shreya Mathews IMC University of Applied Sciences Krems, Shreya Mathews IMC University of Applied Sciences Krems, Shreya Mathews IMC University of Applied Sciences Krems |
17:45 - 23:00 | BanquetISSTA/ECOOP Social Events at Fuhrgassl-Huber We will take buses from the conference venue to go to the banquet. | ||
Accepted Papers
Call For Papers
The joint ISSTA/ECOOP 2024 Tool Demonstrations Track serves as a venue for publishing and presenting advances in software testing and analysis tools, programming languages, systems and environments that aid either practice, research, or both. Submissions may describe early prototypes of tools, mature tools, and everything in between. To help disseminate tools to the community, we encourage submissions describing previously unpublished tools, whose underlying techniques may have already been published.
Highlighting scientific contributions through concrete artifacts is a critical supplement to the traditional research papers published at software engineering and programming languages venues, including ISSTA and ECOOP. A demonstration provides the opportunity to communicate how a scientific approach has been implemented or how a specific hypothesis has been assessed, including implementation and usage details, data models and representations, and APIs for data access. Authors of regular research papers at ISSTA, ECOOP or other SE/PL conferences e.g., ICSE, ESEC/FSE, ASE or OOPSLA, PLDI are, thus, also encouraged to submit an accompanying tool demonstration paper. The tool demonstration papers must be original; however, substantial improvements or extensions to existing tools are also encouraged. Tool demonstration papers must not be concurrently under review at ISSTA, ECOOP or at another venue. Authors are strongly encouraged to make their tools publicly available under an open-source license.
Authors of accepted tool demos will have the opportunity to present their work in the conference program.
Content
The submission must communicate clearly the following information:
- The tool’s envisioned users
- The software testing, analysis, or programming language challenge(s) the tool addresses
- How to use the tool
- Either results of conducted validation studies or the design of planned studies
- New! All papers must include a short section titled “Tool Availability” which should include the following information:
- A URL for downloading or accessing the latest version of the tool (e.g., a GitHub repository or a cloud-based web service). Please also briefly mention what level of documentation is available for using and/or extending the tool.
- A YouTube link demonstrating the use of the tool as of the current version.
- An archived version of the tool at the time of submission (e.g., a DOI for a ZIP file hosted at Zenodo), if appropriate. If your tool is not freely available on the Internet, the “Tool Availability” section must contain a paragraph explaining who can access the tool and how they can do so (e.g., by request, purchase, or if access is restricted to certain groups).
Evaluation
Each submission will be reviewed by at least three members of the Tool Demonstrations Track program committee. The evaluation criteria include:
- The relevance of the proposed tool demonstration to the ISSTA/ECOOP audience
- The technical soundness of the demonstrated tool
- The originality of the underlying ideas
- The quality of the paper’s presentation
- The potential applications and usefulness of the tool
- The comparison to the related work
How to submit
Submissions must conform to the ACM Conference Format. A tool demonstration submission may not exceed four pages, including all text, figures, and links to artifact availability (see above). Up to one additional page may be used for references. The paper submission must be in PDF. The Tool Demonstration track will be using the single-blind reviewing model, so the submitted PDFs should identify the authors.
Submit papers via HotCRP: https://isstaecoopdemos24.hotcrp.com.
Program Committee
All submissions will be peer-reviewed by a program committee consisting of experts in the fields of software testing, analysis, and programming languages. If you wish to nominate yourself to serve on the Tool Demos PC, please fill in this Google Form by December 1, 2023: https://forms.gle/N84eTxN22W9SX9CV7