159 search results - page 9 / 32 » Detecting Missing Method Calls in Object-Oriented Software |
TAICPART
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract. Writing multithreaded software for multicore computers confronts many developers with the difficulty of finding parallel programming errors. In the past, most parallel d...
PLDI
2012
ACM
11 years 9 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
KBSE
2005
IEEE
14 years 29 days ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
IASTEDSEA
2004
13 years 8 months ago
2004
Code clone has been regarded as one of factors that make software maintenance more difficult. A code clone is a code fragment in a source code that is identical or similar to anot...