Sciweavers

100 search results - page 1 / 20
» On the Use of Manchester Violation Test in Detecting Collisi...
Sort
View
ICOIN
2007
Springer
13 years 11 months ago
On the Use of Manchester Violation Test in Detecting Collision
Smart devices in the ubiquitous computing environment implement service/device discovery protocol that helps discovering each other and the services provided. As client device may ...
Yee-Loo Foo, Hiroyuki Morikawa
PLDI
2012
ACM
11 years 7 months ago
Fully automatic and precise detection of thread safety violations
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...
Michael Pradel, Thomas R. Gross
WSCG
2000
112views more  WSCG 2000»
13 years 6 months ago
New Metrics for Evaluation of Collision Detection Techniques
In this paper we describe new metrics for the evaluation of collision detection techniques. Through careful study of common applications of these techniques we have developed a se...
Evin Levey, Christopher Peters, Carol O'Sullivan
KBSE
2003
IEEE
13 years 10 months ago
Tool-Assisted Unit Test Selection Based on Operational Violations
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...
Tao Xie, David Notkin
ASPLOS
2006
ACM
13 years 10 months ago
AVIO: detecting atomicity violations via access interleaving invariants
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou