ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Regression testing is an expensive maintenance process used to revalidate modified software. Regression test selection (RTS) techniques attempt to reduce the cost of regression te...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Interactive program analysis tools are often tailored to one particular representation of programs, making adaptation to a new language costly. One way to ease adaptability is to ...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Testing is an important process that is performed to support quality assurance. Testing activities support quality assurance by gathering information about the nature of the softw...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
When the general press refers to `software' in its headlines, then this is often not to relate a success story, but to expand on yet another `software-risk-turned-problem-sto...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Over the past decade software architecture has received increasing attention as an important subfield of software engineering. During that time there has been considerable progres...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Software process research deals with the methods and technologies used to assess, support, and improve software development activities. The field has grown up during the 80s to ad...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
This paper provides a roadmap for software engineering. It identifies the principal research challenges being faced by the discipline and brings together the threads derived from ...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM