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)
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)
  • 1