2127 search results - page 278 / 426 » Software Automation |
148
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
We are investigating an integrated design method for a device driver and a device in order to efï¬ciently develop device drivers used in embedded systems. This paper evaluates wh...
283
click to vote
NFM
2011
15 years 27 days ago
2011
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
142
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
This paper presents a new automated model-driven technique to generate test cases by using feedback from the execution of a "seed test suite" on an application under tes...
176
click to vote
EUROSYS
2010
ACM
16 years 3 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverâ€...
157
click to vote
KBSE
2007
IEEE
16 years 21 days ago
2007
IEEE
Automating the generation of object-oriented unit tests is a challenging task. This is mainly due to the complexity and peculiarities that the principles of object-orientation imp...