168 search results - page 9 / 34 » Random testing of interrupt-driven software |
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
ICSE
2011
IEEE-ACM
12 years 10 months ago
2011
IEEE-ACM
Current practice in testing JavaScript web applications requires manual construction of test cases, which is difficult and tedious. We present a framework for feedback-directed a...
ASPDAC
2006
ACM
14 years 1 months ago
2006
ACM
– An instruction set level reference model was developed for the development of synergistic processing unit (SPU) , which is one of the key components of the cell processor [1][2...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
We present a technique that improves random test generation by incorporating feedback obtained from executing test inputs as they are created. Our technique builds inputs incremen...