1606 search results - page 174 / 322 » XML-based programming language modeling: An approach to soft... |
171
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
160
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
177
click to vote
VLC
2008
15 years 5 months ago
2008
Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven s...
155
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...
168
click to vote
ESEM
2008
ACM
15 years 7 months ago
2008
ACM
Building cost estimation models is often considered a search problem in which the solver should return an optimal solution satisfying an objective function. This solution also nee...