Sciweavers

4299 search results - page 187 / 860
» Concurrent Test Generation
Sort
View
NFM
2011
223views Formal Methods» more  NFM 2011»
14 years 10 months ago
Generating Data Race Witnesses by an SMT-Based Analysis
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
Mahmoud Said, Chao Wang, Zijiang Yang, Karem Sakal...
MM
1999
ACM
120views Multimedia» more  MM 1999»
15 years 8 months ago
SIVOG: smart interactive video object generation system
A smart interactive video object generation (SIVOG) system is proposed in this work. SIVOG provides a semantic layer to interact with the user. It interprets user’s input and ch...
Ju Guo, Jongwon Kim, C. C. Jay Kuo
KBSE
2003
IEEE
15 years 9 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
ICSE
2009
IEEE-ACM
15 years 10 months ago
JUnitMX - A change-aware unit testing tool
Developers use unit testing to improve the quality of software systems. Current development tools for unit testing help to automate test execution, to report results, and to gener...
Jan Wloka, Barbara G. Ryder, Frank Tip
DATE
2010
IEEE
110views Hardware» more  DATE 2010»
15 years 8 months ago
Multi-temperature testing for core-based system-on-chip
—Recent research has shown that different defects can manifest themselves as failures at different temperature spectra. Therefore, we need multi-temperature testing which applies...
Zhiyuan He, Zebo Peng, Petru Eles