843 search results - page 129 / 169 » What makes good research in software engineering |
PLDI
2003
ACM
14 years 2 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
AMOST
2007
ACM
14 years 22 days ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
ETS
2000
IEEE
13 years 8 months ago
2000
IEEE
Practice has shown that providing content to students alone is not sufficient for good learning results. In computer based training (CBT) and especially webbased training (WBT) en...
GECCO
2006
Springer
14 years 11 days ago
2006
Springer
Encapsulation of states in object-oriented programs hinders the search for test data using evolutionary testing. As client code is oblivious to the internal state of a server obje...
VAMOS
2007
Springer
14 years 2 months ago
2007
Springer
A short theatrical exaggeration (but not too much) which describes practical problems with variability as experienced by real-world software developers. Real issue, there are no p...