136 search results - page 12 / 28 » A Learning-Based Approach to Unit Testing of Numerical Softw... |
ICSM
2009
IEEE
14 years 1 months ago
2009
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...
ECSCW
2011
12 years 6 months ago
2011
There are many theories useful for framing CSCW research and they may in principle be irreducible to a single theory. CSCW research explores questions involving numerous distinctâ€...
ACMSE
2007
ACM
13 years 10 months ago
2007
ACM
Testing is an essential but often under-utilized area of software engineering. A variety of software testing techniques have been developed to effectively identify bugs in source ...
JOT
2007
13 years 6 months ago
2007
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...
KBSE
2005
IEEE
14 years 9 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...