| An Empirical Study of Fault Localization Families and Their Combinations | 22 | 0.64 | 2021 |
| Checking conformance of applications against GUI policies | 0 | 0.34 | 2021 |
| Verifying Determinism in Sequential Programs | 0 | 0.34 | 2021 |
| MeMo: Automatically identifying metamorphic relations in Javadoc comments for test automation | 1 | 0.35 | 2021 |
| Visualizing Distributed System Executions | 2 | 0.35 | 2020 |
| Verifying object construction | 1 | 0.36 | 2020 |
| Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size | 4 | 0.39 | 2020 |
| Where should I comment my code? - a dataset and model for predicting locations that need comments. | 0 | 0.34 | 2020 |
| Research on NLP for RE at Università della Svizzera Italiana (USI): A Report. | 0 | 0.34 | 2019 |
| Static Identification of Injection Attacks in Java | 1 | 0.35 | 2019 |
| Modular verification of web page layout | 1 | 0.36 | 2019 |
| Lightweight verification of array indexing. | 0 | 0.34 | 2018 |
| Comparing developer-provided to user-provided tests for fault localization and automated program repair. | 5 | 0.38 | 2018 |
| An Empirical Study of Fault Localization Families and Their Combinations. | 3 | 0.36 | 2018 |
| Translating code comments to procedure specifications. | 12 | 0.50 | 2018 |
| Generalized data structure synthesis. | 1 | 0.35 | 2018 |
| A Graphical Interactive Debugger for Distributed Systems. | 0 | 0.34 | 2018 |
| Natural Language is a Programming Language: Applying Natural Language Processing to Software Development. | 0 | 0.34 | 2017 |
| Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types. | 1 | 0.34 | 2017 |
| Automatic generation of oracles for exceptional behaviors. | 15 | 0.55 | 2016 |
| Planning for change in a formal verification of the raft consensus protocol. | 19 | 0.64 | 2016 |
| Locking discipline inference and checking. | 3 | 0.37 | 2016 |
| Fast synthesis of fast collections. | 11 | 0.66 | 2016 |
| Boolean Formulas for the Static Identification of Injection Attacks in Java. | 1 | 0.36 | 2015 |
| Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T) | 26 | 0.74 | 2015 |
| Semantics for Locking Specifications. | 0 | 0.34 | 2015 |
| Development History Granularity Transformations (N) | 8 | 0.50 | 2015 |
| Collaborative Verification of Information Flow for a High-Assurance App Store. | 0 | 0.34 | 2015 |
| Explaining Visual Changes in Web Interfaces | 12 | 0.60 | 2015 |
| Toward a Dependability Case Language and Workflow for a Radiation Therapy System. | 2 | 0.36 | 2015 |
| Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support. | 0 | 0.34 | 2015 |
| Proactive detection of inadequate diagnostic messages for software configuration errors | 5 | 0.46 | 2015 |
| Ayudante: identifying undesired variable interactions | 2 | 0.39 | 2015 |
| Inferring models of concurrent systems from logs of their behavior with CSight | 33 | 0.96 | 2014 |
| Are mutants a valid substitute for real faults in software testing? | 211 | 4.43 | 2014 |
| A type system for format strings | 4 | 0.52 | 2014 |
| A Biofeedback System for Continuous Monitoring of Bone Healing. | 0 | 0.34 | 2014 |
| A format string checker for Java | 0 | 0.34 | 2014 |
| Introductory programming meets the real world: using real problems and data in CS1 | 6 | 0.58 | 2014 |
| Defects4J: a database of existing faults to enable controlled testing studies for Java programs | 246 | 5.43 | 2014 |
| Empirically revisiting the test independence assumption | 54 | 1.88 | 2014 |
| Case studies and tools for contract specifications | 14 | 0.58 | 2014 |
| Collaborative Verification of Information Flow for a High-Assurance App Store | 37 | 0.98 | 2014 |
| Automated diagnosis of software configuration errors | 50 | 1.24 | 2013 |
| Early Detection of Collaboration Conflicts and Risks | 34 | 1.03 | 2013 |
| Rely-guarantee references for refinement types over aliased mutable data | 6 | 0.41 | 2013 |
| Unifying FSM-inference algorithms through declarative specification | 28 | 0.76 | 2013 |
| Interactive record/replay for web application debugging | 57 | 1.70 | 2013 |
| Java UI : Effects for Controlling UI Object Access. | 9 | 0.54 | 2013 |
| Static lock capabilities for deadlock freedom | 6 | 0.44 | 2012 |
