| Inductive Validity Cores | 0 | 0.34 | 2021 |
| Java Ranger: statically summarizing regions for efficient symbolic execution of Java | 0 | 0.34 | 2020 |
| Introduction to the special issue on software engineering in practice. | 0 | 0.34 | 2020 |
| Synthesis of infinite-state systems with random behavior | 0 | 0.34 | 2020 |
| Ensuring the Observability of Structural Test Obligations | 0 | 0.34 | 2020 |
| One-Click Formal Methods | 3 | 0.51 | 2019 |
| A Formal Approach to Constructing Secure Air Vehicle Software. | 4 | 0.57 | 2018 |
| Online Enumeration of All Minimal Inductive Validity Cores. | 0 | 0.34 | 2018 |
| Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts. | 1 | 0.36 | 2018 |
| Architectural Modeling and Analysis for Safety Engineering. | 0 | 0.34 | 2017 |
| Proof-based coverage metrics for formal verification. | 4 | 0.41 | 2017 |
| Veritesting Challenges in Symbolic Execution of Java. | 0 | 0.34 | 2017 |
| Requirements and Architectures for Secure Vehicles. | 2 | 0.38 | 2016 |
| Efficient Generation of Inductive Validity Cores for Safety Properties. | 10 | 0.51 | 2016 |
| The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage. | 7 | 0.46 | 2016 |
| Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability. | 0 | 0.34 | 2016 |
| Complete Traceability for Requirements in Satisfaction Arguments | 0 | 0.34 | 2016 |
| Towards Synthesis from Assume-Guarantee Contracts involving Infinite Theories: A Preliminary Report. | 2 | 0.50 | 2016 |
| Reasoning about Algebraic Data Types with Abstractions. | 3 | 0.39 | 2016 |
| On Implementing Real-time Specification Patterns Using Observers. | 0 | 0.34 | 2016 |
| Design Considerations for Modeling Modes in Cyber-Physical Systems. | 1 | 0.34 | 2015 |
| Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites. | 4 | 0.39 | 2015 |
| Hierarchical multi-formalism proofs of cyber-physical systems | 0 | 0.34 | 2015 |
| The Risks of Coverage-Directed Test Case Generation | 31 | 0.99 | 2015 |
| Automated Oracle Data Selection Support | 9 | 0.41 | 2015 |
| Efficient observability-based test generation by dynamic symbolic execution | 2 | 0.38 | 2015 |
| A flexible and non-intrusive approach for computing complex structural coverage metrics | 4 | 0.43 | 2015 |
| Moving the goalposts: coverage satisfaction is not enough | 4 | 0.39 | 2014 |
| From Requirements to Code: Model Based Development of a Medical Cyber Physical System | 0 | 0.34 | 2014 |
| Structuring simulink models for verification and reuse | 3 | 0.42 | 2014 |
| Exploring the twin peaks using probabilistic verification techniques | 0 | 0.34 | 2014 |
| Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety | 4 | 0.45 | 2014 |
| Helping system engineers bridge the peaks | 2 | 0.36 | 2014 |
| Analysis and testing of PLEXIL plans | 0 | 0.34 | 2014 |
| Up and out: scaling formal analysis using model-based development and architecture modeling. | 0 | 0.34 | 2013 |
| An Improved Unrolling-Based Decision Procedure for Algebraic Data Types. | 5 | 0.51 | 2013 |
| Observable modified Condition/Decision coverage | 12 | 0.67 | 2013 |
| RADA: a tool for reasoning about algebraic data types with abstractions | 4 | 0.43 | 2013 |
| Compositional verification of a medical device system. | 26 | 1.05 | 2013 |
| The guardol language and verification system | 6 | 0.53 | 2012 |
| Compositional verification of architectural models | 43 | 1.91 | 2012 |
| The hidden models of model checking | 9 | 0.50 | 2012 |
| Integrating statechart components in polyglot | 2 | 0.41 | 2012 |
| A DSL for cross-domain security | 0 | 0.34 | 2012 |
| On the danger of coverage directed test case generation | 37 | 1.10 | 2012 |
| Polyglot: modeling and analysis for multiple Statechart formalisms | 19 | 1.11 | 2011 |
| Better testing through oracle selection. | 1 | 0.36 | 2011 |
| Programs, tests, and oracles: the foundations of testing revisited | 54 | 1.46 | 2011 |
| FITE - Future Integrated Testing Environment. | 0 | 0.34 | 2010 |
| Software model checking takes off | 52 | 2.16 | 2010 |
