Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel ...
This paper investigates how maintainability can be established in system integration (SI) projects where maintainers have no direct access to the source code of the third-party so...
This paper introduces an automated technique for feature location: helping developers map features to relevant source code. Like several other automated feature location technique...
Maintaining software systems becomes more difficult as their size and complexity increase. One factor that makes software maintenance more difficult is the presence of code clones...