4895 search results - page 441 / 979 » Tools for Grammar Engineering |
172
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
166
click to vote
COMPSAC
2006
IEEE
16 years 27 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
189
click to vote
CSMR
2006
IEEE
16 years 27 days ago
2006
IEEE
Recovering the architecture is the first step towards reengineering a software system. Many reverse engineering tools use top-down exploration as a way of providing a visual and ...
179
click to vote
TAICPART
2006
IEEE
16 years 26 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
187
click to vote
AMOST
2005
ACM
16 years 12 days ago
2005
ACM
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...