Sciweavers

4079 search results - page 409 / 816
» Differential Testing for Software
Sort
View
ICST
2008
IEEE
16 years 17 days ago
Pre-testing Flash Device Driver through Model Checking Techniques
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provi...
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
RISE
2005
Springer
15 years 11 months ago
Can Aspects Implement Contracts?
Design by ContractTM is commonly cited as an example of the “crosscutting” concerns that aspect-oriented programming can address. We test this conjecture by attempting to imple...
Stephanie Balzer, Patrick Th. Eugster, Bertrand Me...
IWPC
2003
IEEE
15 years 11 months ago
Individual Differences in Program Comprehension Strategies in Unfamiliar Programming Systems
This study examines the effect of individual differences on the program comprehension strategies of users working with an unfamiliar programming system. Participants of varying pr...
Andrew Jensen Ko, Bob Uttl
FOSSACS
2006
Springer
15 years 9 months ago
Reversing Algebraic Process Calculi
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
Iain C. C. Phillips, Irek Ulidowski
AADEBUG
2005
Springer
15 years 8 months ago
Backtracking and dynamic patching for free
We present a way to incorporate backtracking and dynamic patching into existing debuggers, without requiring any change to their source code, the compiler or the run-time environm...
Bjorn De Sutter, Bruno De Bus, Michiel Ronsse, Koe...