Tue 18 Jul 2023 15:30 - 17:00 at Microsoft Atrium (Allen Center) - Posters

Automatically constructing objects based on description of their internal state is challenging because available constructors and API calls can manipulate the state in non-trivial ways. This problem is of particular relevance to constraint solver-driven automated testing, where the solver is queried to describe the initial state required for execution of a specific path through the target method. In this work, we focus on the Dafny programming language that supports verification of heap-related properties. Dafny has built-in test generation functionality and we propose to extend it with a technique for synthesizing sequences of API calls that create objects and set their state in such a way that properties required by test generation are respected. The proposed method uses a heuristic-guided search over sequences of API calls, while leaving the task of inferring appropriate primitive arguments to the verifier. By combining domain-specific heuristics with the logics used by the Z3 theorem prover, the proposed method allows synthesizing instances of types defined in various open-source Dafny projects.

Tue 18 Jul

Displayed time zone: Pacific Time (US & Canada) change

15:30 - 17:00
15:30
90m
Poster
ExplainThis: Teaching a New Programming Language and Paradigm Using Contextualized Explanations
Student Research Competition
Hannah Potter University of Washington
15:30
90m
Poster
An empirical evaluation of commit-untangling tools
Student Research Competition
Thomas Schweizer University of Washington, Seattle
15:30
90m
Poster
Object Synthesis for Automated Test Generation
Student Research Competition
Aleksandr Fedchin Tufts University
15:30
90m
Poster
Out-of-place Multiverse Debugging for Constraint Devices
Student Research Competition
Tom Lauwaerts Universiteit Gent, Belgium
15:30
90m
Poster
Determinism with Intersection and Union Types
Student Research Competition
Baber Rehman University of Hong Kong
15:30
90m
Poster
An Exploration of Static Variability Bug Detection Through Desugaring
Student Research Competition
P: Austin Mordahl University of Texas at Dallas
15:30
90m
Poster
Characterizing WebAssembly Performance in the Era of Serverless Computing
Student Research Competition
Jamshed Ashurov UC San Diego
15:30
90m
Poster
LibAE: An Area Exploration Technology for Detecting Third-party Libraries in Binaries
Student Research Competition
15:30
90m
Poster
Enhancing Web Test Script Repair using Integrated UI Structural and Visual Information
Student Research Competition
P: Zhongzhen Wen Nanjing University
15:30
90m
Poster
An Empirical Study of Nondeterministic Behavior and Its Causes in Static Analysis Tools
Student Research Competition
Dakota Soles The University of Texas at Dallas
15:30
90m
Poster
DeltaNN: Differential Testing to Evaluate Robustness of Image Recognition Models
Student Research Competition
P: Nikolaos Louloudakis University of Edinburgh
15:30
90m
Poster
Specification-Driven Synthesis of Summaries for Symbolic Execution
Student Research Competition
P: Frederico Ramos Instituto Superior Técnico
15:30
90m
Poster
LATCH: Enabling Large-scale Tests on Constraint Systems
Student Research Competition
P: Tom Lauwaerts Universiteit Gent, Belgium
15:30
90m
Poster
Context-adaptive Automated Testing for Deep Learning Model
Student Research Competition
15:30
90m
Poster
An Algorithm for Partial Elimination of Jumps in An Object-Oriented Dataflow Language
Student Research Competition
P: Yegor Bugayenko Huawei
15:30
90m
Poster
Polymorphism for Programming With Versions
Student Research Competition
Luthfan Anshar Lubis Tokyo Institute of Technology
15:30
90m
Poster
Towards Reliable Memory Management for Python Native Extensions
Student Research Competition
P: Joannah Nanjekye University of New Brunswick