Titlebook: Software Engineering - ESEC/FSE ‘99; 7th European Softwar Oscar Nierstrasz,Michel Lemoine Conference proceedings 1999 Springer-Verlag Berli

nonplus

Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Futeveral years while specifying the system requirements for a collision avoidance system for commercial passenger aircraft. During the language development, we received continual feed- back and evaluation by FAA employees and industry representatives, which helped us to produce a specification languag

HIKE

canonical

按时间顺序

显微镜

预测

ALIEN

Yesterday, my Program Worked. Today, it Does Not. Why?,”), the program does not work. Which change is responsible for the failure? We present an efficient algorithm that determines the minimal set of failure-inducing changes. Our . prototype tracked down a single failure-inducing change from 178,000 changed GDB lines within a few hours.

Blazon

Comparison Checking: An Approach to Avoid Debugging of Optimized Code, optimized versions of an application program are executed, and computed values are compared to ensure the behaviors of the two versions are the same under the given input. If the values are different, the comparison checker displays where in the application program the differences occurred and what

Armada

门闩

An Efficient Relevant Slicing Method for Debugging,ogram slice with respect to a variable contains only those statements that actually had an influence on this variable. How- ever, during debugging we also need to identify those statements that actually did not affect the variable but could have affected it had they been evaluated differently. A rel