2026 search results - page 65 / 406 » Tools for Test Case Generation |
112
click to vote
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
114
click to vote
DSD
2005
IEEE
15 years 6 months ago
2005
IEEE
We describe a new e-learning environment and a runtime platform for educational tools on digital system testing and design for testability. This environment is being developed in ...
135
Voted
JOT
2007
15 years 13 days 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...
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract: With the increasing complexity of memory behavior, attempts are being made to come up with a methodical approach that employs electrical simulation to tackle the memory t...
123
click to vote
EDCC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...