Sciweavers

905 search results - page 34 / 181
» Code Generator Testing in Practice
Sort
View
DATE
1997
IEEE
74views Hardware» more  DATE 1997»
14 years 2 months ago
Efficient and accurate testing of analog-to-digital converters using oscillation-test method
This paper describes a practical test approach for analog-to-digital converters (ADCs) based on the oscillation-test strategy. The oscillation-test is applied to convert the ADC u...
Karim Arabi, Bozena Kaminska
CCS
2006
ACM
14 years 1 months ago
EXE: automatically generating inputs of death
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, ...
ICST
2009
IEEE
13 years 7 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
INFSOF
2006
151views more  INFSOF 2006»
13 years 9 months ago
Prioritized interaction testing for pair-wise coverage with seeding and constraints
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
Renée C. Bryce, Charles J. Colbourn
CORR
2010
Springer
157views Education» more  CORR 2010»
13 years 10 months ago
Detecting Coordination Problems in Collaborative Software Development Environments
Software development is rarely an individual effort and generally involves teams of developers collaborating to generate good reliable code. Among the software code there exist te...
Chintan Amrit, Jos van Hillegersberg