Sciweavers

5668 search results - page 83 / 1134
» The case for software evolution
Sort
View
119
Voted
KBSE
2008
IEEE
15 years 10 months ago
Exploring the composition of unit test suites
In agile software development, test code can considerably contribute to the overall source code size. Being a valuable asset both in terms of verification and documentation, the ...
Bart Van Rompaey, Serge Demeyer
106
Voted
ICFEM
2009
Springer
15 years 10 months ago
European Train Control System: A Case Study in Formal Verification
André Platzer, Jan-David Quesel
89
Voted
CSMR
2008
IEEE
15 years 10 months ago
Use Case Redocumentation from GUI Event Traces
Michael Smit, Eleni Stroulia, Kenny Wong