Sciweavers

137 search results - page 1 / 28
» Test purpose generation in an industrial application
Sort
View
AMOST
2007
ACM
13 years 8 months ago
Test purpose generation in an industrial application
Bernhard K. Aichernig, Martin Weiglhofer, Bernhard...
ERLANG
2003
ACM
13 years 10 months ago
Automated test generation for industrial Erlang applications
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
Johan Blom, Bengt Jonsson
JSS
2010
150views more  JSS 2010»
13 years 3 months ago
Towards a general purpose architecture for UI generation
Many software projects spend a significant proportion of their time developing the User Interface (UI), therefore any degree of automation in this area has clear benefits. Such au...
Richard Kennard, John Leaney
SEFM
2007
IEEE
13 years 11 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
ENTCS
2008
101views more  ENTCS 2008»
13 years 4 months ago
Improving Fault-based Conformance Testing
Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol spe...
Bernhard K. Aichernig, Martin Weiglhofer, Franz Wo...