1554 search results - page 278 / 311 » Testing Polymorphic Behavior |
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
ASPLOS
2009
ACM
14 years 8 months ago
2009
ACM
Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input,...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
As software evolves, impact analysis estimates the potential effects of changes, before or after they are made, by identifying which parts of the software may be affected by such ...
EUROSYS
2010
ACM
14 years 4 months ago
2010
ACM
Modern Byzantine fault-tolerant state machine replication (BFT) protocols involve about 20.000 lines of challenging C++ code encompassing synchronization, networking and cryptogra...
EUROSYS
2008
ACM
14 years 4 months ago
2008
ACM
Causal request traces are valuable to developers of large concurrent and distributed applications, yet difficult to obtain. Traces show how a request is processed, and can be anal...