Towards a Method of Programming With Assertions
Abstract
classification presented in this paper will prove to be a useful first step in developing a method of programming with assertions.
Related papers
- Methods as Assertions ECOOP 1994
- On learning meaningful assert statements for unit test cases ICSE 2020
- Assertional reasoning about data races in relaxed memory models PPoPP 2008
- Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction ASE 2014
- Assertions are strongly correlated with test suite effectiveness FSE 2015
- Understanding and Characterizing Mock Assertions in Unit Tests FSE 2025
- An Empirical Study on Focal Methods in Deep-Learning-Based Approaches for Assertion Generation FSE 2024
- Constraint Diagrams: Visualizing Assertions in Object-Oriented Models OOPSLA 1997