Sciweavers

1890 search results - page 78 / 378
» Model-Based Testing in Practice
Sort
View
STEP
2005
IEEE
15 years 5 months ago
TETE: A Non-Invasive Unit Testing Framework for Source Transformation
While the use of test-driven development as a debugging, pedagogic, and analytical methodology for objectoriented and procedural systems is well documented, it is a relatively une...
Derek M. Shimozawa, James R. Cordy
ARGMAS
2005
Springer
15 years 5 months ago
Testing Formal Dialectic
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of co...
Simon Wells, Chris Reed
DSRT
2002
IEEE
15 years 4 months ago
Nautilus - The Environment for Training and Testing
The paper describes an experimental web-based environment for teaching and testing. The application named Nautilus has been developed using Virtual Reality Modeling Language (VRML...
Jiri Chludil, Jiri Zara
HASE
2002
IEEE
15 years 4 months ago
Extending WSDL to Facilitate Web Services Testing
Web services might be the most popular and powerful software development technology in today’s software world. Yet it brings software developers and tester a lot of challenges a...
Wei-Tek Tsai, Raymond A. Paul, Yamin Wang, Chun Fa...
FORTE
1998
15 years 1 months ago
Issues in conformance testing: multiple semicontrollable interfaces
In a testing environment, where an IUT communicates with multiple entities, a tester may have di ering degrees of controllability on the interactions between these entities and th...
Mariusz A. Fecko, M. Ümit Uyar, Adarshpal S. ...