4895 search results - page 432 / 979 » Tools for Grammar Engineering |
169
Voted
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
216
click to vote
IWSAS
2001
Springer
15 years 11 months ago
2001
Springer
The idea of ubiquitous computing and smart environments is no longer a dream and has long become a serious area of research and soon this technology will start entering our every d...
179
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
186
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
When designing computer systems, simulation tools are used to imitate a real or proposed system. Complex, dynamic systems can be simulated without the cost and time constraints in...
176
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
Fuzzing is a well-known black-box approach to the security testing of applications. Fuzzing has many advantages in terms of simplicity and effectiveness over more complex, expensi...