2026 search results - page 98 / 406 » Tools for Test Case Generation |
RE
2005
Springer
15 years 6 months ago
2005
Springer
Nowadays common practice indicates that the Requirement Engineering (RE) process critically influences the success of the system development life cycle. Several commercial tools ...
TOOLS
2008
IEEE
15 years 7 months ago
2008
IEEE
Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...
78
Voted
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
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...
85
Voted
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
15 years 7 months ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...
ICWE
2005
Springer
15 years 6 months ago
2005
Springer
: Web-portal application development needs to be improved by comprehensive testing processes and practices. Building the initial knowledge by evaluating and improving the state of ...