677 search results - page 3 / 136 » A New Start-Up Demonstration Test |
ICSM
2008
IEEE
14 years 5 days ago
2008
IEEE
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...
IEEEPACT
2009
IEEE
14 years 12 days ago
2009
IEEE
—Software testing is hard. The emergence of multicore architectures and the proliferation of bugprone multithreaded software makes testing even harder. To this end, researchers h...
ICST
2009
IEEE
13 years 3 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
DAC
1994
ACM
13 years 9 months ago
1994
ACM
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...
ICML
2006
IEEE
14 years 6 months ago
2006
IEEE
In medical diagnosis, doctors often have to order sets of medical tests in sequence in order to make an accurate diagnosis of patient diseases. While doing so they have to make a ...