Abstract :
The following topics are dealt with: software testing; software model checking; software analysis; software verification; software validation; software debugging; software traceability; program understanding; software maintenance; knowledge acquisition and software processes.
Keywords :
knowledge acquisition; program debugging; program diagnostics; program testing; reverse engineering; software maintenance; knowledge acquisition; program understanding; software analysis; software debugging; software maintenance; software model checking; software processes; software testing; software traceability; software validation; software verification;
Conference_Titel :
Automated Software Engineering (ASE), 2011 26th IEEE/ACM International Conference on
Conference_Location :
Lawrence, KS
Print_ISBN :
978-1-4577-1638-6
DOI :
10.1109/ASE.2011.6100040
