Caroline Lemieux

Mining temporal properties of data invariants

2015 · International Conference on Software Engineering

System specifications are important in maintaining program correctness, detecting bugs, understanding systems and guiding test case generation. Often, these specifications are not explicitly written by developers. If we want to use them for analysis, we …