| 17:00 - 20:00 | |
| | | |
| Poster | | Typed First-Class TraitsECOOP paper ECOOP and ISSTA Posters |
| Poster | | PerfFuzz: Automatically Generating Pathological InputsISSTA paper ECOOP and ISSTA Posters |
| Poster | | Feature Visualiser: an Inspection Tool for Programmers in Context-Oriented ProgrammingCOP paper ECOOP and ISSTA Posters |
| Poster | | Bench4BL: Reproducibility Study on the Performance of IR-Based Bug LocalizationISSTA paper ECOOP and ISSTA Posters |
| Poster | | Targeted Test Generation for Actor SystemsECOOP paper ECOOP and ISSTA Posters |
| Poster | | Leveraging Electromagnetic Side-Channel Attacks for Digital ForensicsWoSSCA talk ECOOP and ISSTA Posters |
| Poster | | Practical Detection of Concurrency Issues at Coding TimeISSTA paper ECOOP and ISSTA Posters |
| Poster | | Defensive Points-To Analysis: Effective Soundness via LazinessECOOP paper ECOOP and ISSTA Posters |
| Poster | | Shaping Program Repair Space with Existing Patches and Similar CodeISSTA paper ECOOP and ISSTA Posters |
| Poster | | Type Regression Testing to Detect Breaking Changes in Node.js LibrariesECOOP paper ECOOP and ISSTA Posters |
| Poster | | Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-based ApproachISSTA paper ECOOP and ISSTA Posters |
| Poster | | Making Data-Driven Porting Decisions with TuscanISSTA paper ECOOP and ISSTA Posters |
| Poster | | Advances in the ANaConDA Framework ISSTA demonstration ECOOP and ISSTA Posters |
| Poster | | Automated End To End Testing of Single Page Web ApplicationsDoctoral symposium paper ECOOP and ISSTA Posters |
| Poster | | A Characteristic Study of Parameterized Unit Tests in .NET Open Source ProjectsECOOP paper ECOOP and ISSTA Posters |
| Poster | | Shooting from the Heap: Ultra-Scalable Static Analysis with Heap SnapshotsISSTA paper ECOOP and ISSTA Posters |
| Poster | | ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications ECOOP paperECOOP and ISSTA Posters |
| Poster | | Polyglot Programming - Opportunities of Language Implementation Frameworks for Software Developers ICOOOLPS paperECOOP and ISSTA Posters |
| Poster | | OASIs: Oracle Assessment and Improvement Tool ISSTA demonstrationECOOP and ISSTA Posters |
| Poster | | Deep Learning over CodeISSTA paper ECOOP and ISSTA Posters |
| Poster | | Translating Code Comments to Procedure SpecificationsISSTA paper ECOOP and ISSTA Posters |
| Poster | | Transparent Static Analysis for the Detection of Security VulnerabilitiesDoctoral symposium paper ECOOP and ISSTA Posters |
| Poster | | Symbolic Path Cost Analysis for Side-Channel DetectionISSTA paper ECOOP and ISSTA Posters |
| Poster | | FHJ: A Formal Model for Hierarchical Dispatching and OverridingECOOP paper ECOOP and ISSTA Posters |
| Poster | | Incrementalizing Lattice-Based Program AnalysesFTfJP paper ECOOP and ISSTA Posters |
| Poster | | Secure integration of cryptographic software ECOOP paperECOOP and ISSTA Posters |
| Poster | | Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafeISSTA paper ECOOP and ISSTA Posters |
| Poster | | Badger: Complexity Analysis with Fuzzing and Symbolic ExecutionISSTA paper ECOOP and ISSTA Posters |
| Poster | | Efficient Reflection String Analysis via Graph ColoringECOOP paper ECOOP and ISSTA Posters |
| Poster | | Tests from Traces: Automated Unit Test Extraction for RISSTA paper ECOOP and ISSTA Posters |
| Poster | | CiD: Automating the Detection of API-related Compatibility Issues in Android AppsISSTA paper ECOOP and ISSTA Posters |
| Poster | | Modelling infinite behaviour by corulesECOOP paper ECOOP and ISSTA Posters |
| Poster | | Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture OverviewSOAP paper ECOOP and ISSTA Posters |
| Poster | | Learning to Accelerate Symbolic Execution via Code TransformationECOOP paper ECOOP and ISSTA Posters |
| Poster | | Distributed Multitier Programming with Placement Types using ScalaLociFTfJP paper ECOOP and ISSTA Posters |
| Poster | | SHAPES: Adding memory layouts and SIMD capabilities to high-level languagesICOOOLPS paper ECOOP and ISSTA Posters |
| Poster | | Automating Object Transformations for Dynamic Software Updating via Online Execution SynthesisECOOP paper ECOOP and ISSTA Posters |
| Poster | | Theory and Practice of Coroutines with SnapshotsECOOP paper ECOOP and ISSTA Posters |
| Poster | | Fault-tolerant Distributed Reactive ProgrammingECOOP paper ECOOP and ISSTA Posters |
| Poster | | A Portable Framework for Multi-core Interference Tuning and AnalysisDoctoral symposium paper ECOOP and ISSTA Posters |
| Poster | | Probabilistic Software ModelingDoctoral symposium paper ECOOP and ISSTA Posters |
| Demonstration | | Mutode: Generic JavaScript and Node.js Mutation Testing Tool ISSTA demonstrationECOOP and ISSTA Posters |
| Poster | | CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMsECOOP paper ECOOP and ISSTA Posters Media Attached |
| Poster | | Testing for Performance Issues in OS KernelsDoctoral symposium paper ECOOP and ISSTA Posters |
| Poster | | The Essence of Nested CompositionECOOP paper ECOOP and ISSTA Posters |
| Poster | | Generating software adaptations using machine learningML4PL talk ECOOP and ISSTA Posters |
| Poster | | Automatically Translating Bug Reports into Test Cases for Mobile AppsISSTA paper ECOOP and ISSTA Posters |
| Poster | | Repositioning of Static Analysis AlarmsISSTA paper ECOOP and ISSTA Posters |