Lawrence Markosian

Learn More
"Reengineering a major line-of-business system can be likened to changing a tire on a moving vehicle." Intro • Proliferation of CASE tools in the last 10 years • Reengineering tool proliferation has been minimal • Automated support for reengineering is worse-especially when we talk about transforming code to new functionality. • Largest problem in(More)
We describe an approach to software analysis and test generation that combines several technologies: object-oriented databases and parsers for capturing and representing software; pattern languages for writing program templates and querying and analyzing a database of software; and transformation rules for automatically generating test cases based on the(More)
New processes, methods and tools are constantly appearing in the field of software engineering. Many of these augur great potential in improving software development processes, resulting in higher quality software with greater levels of assurance. However, there are a number of obstacles that impede their infusion into software development practices. These(More)
—Model checking is a verification technique developed in the 1980s that has a history of industrial application in hardware verification and verification of communications protocol specifications. Program model checking is a technique for model checking software in which the program itself is the model to be checked. Program model checking has shown(More)
Safety cases and, specifically, <i>software</i> safety cases, have had virtually no presence in engineering practice in the US. Recent interest, in addition to an early attempt to introduce them into practice in the NASA Constellation Program, motivated us to develop a partial safety case for a safety critical subsystem for the Ares I vehicle, namely the(More)