Constance Heitmeyer
United States Naval Research Laboratory(US)United States Department of the Navy(US)United States Navy
Publications by Year
Research Areas
Formal Methods in Verification, Software Reliability and Analysis Research, Software Testing and Debugging Techniques, Advanced Software Engineering Methodologies, Real-Time Systems Scheduling
Most-Cited Works
- → Automated consistency checking of requirements specifications(1996)596 cited
- → Using model checking to generate tests from requirements specifications(1999)350 cited
- → Using abstraction and model checking to detect safety violations in requirements specifications(1998)190 cited
- → A security model for military message systems(1984)163 cited
- Formal Methods for Real-Time Computing(1996)
- → Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda(2002)150 cited
- → SCR: A toolset for specifying and analyzing software requirements(1998)148 cited