Automatic system testing of programs without test oracles
C Murphy, K Shen, G Kaiser - Proceedings of the eighteenth …, 2009 - dl.acm.org
Metamorphic testing has been shown to be a simple yet effective technique in addressing
the quality assurance of applications that do not have test oracles, ie, for which it is difficult or …
the quality assurance of applications that do not have test oracles, ie, for which it is difficult or …
Insider threats against trust mechanism with watchdog and defending approaches in wireless sensor networks
Trust based approaches have been widely used to counter insider attacks in wireless sensor
networks because traditional cryptography-based security mechanisms such as …
networks because traditional cryptography-based security mechanisms such as …
Using JML runtime assertion checking to automate metamorphic testing in applications without test oracles
C Murphy, K Shen, G Kaiser - 2009 International Conference …, 2009 - ieeexplore.ieee.org
It is challenging to test applications and functions for which the correct output for arbitrary
input cannot be known in advance, eg some computational science or machine learning …
input cannot be known in advance, eg some computational science or machine learning …
Monitoring conversational web services
D Bianculli, C Ghezzi - 2nd international workshop on Service oriented …, 2007 - dl.acm.org
The dynamic nature of web service compositions demands continuous monitoring of the
quality of the provided service, as perceived by the client. We focus here on monitoring …
quality of the provided service, as perceived by the client. We focus here on monitoring …
Automated random testing to detect specification-code inconsistencies
Y Cheon - 2007 - scholarworks.utep.edu
An interface specification language such as JML provides a means to document precisely
the behavior of program modules such as Java classes, and it is being adopted by industry …
the behavior of program modules such as Java classes, and it is being adopted by industry …
[BOOK][B] Metamorphic testing techniques to detect defects in applications without test oracles
C Murphy - 2010 - search.proquest.com
Applications in the fields of scientific computing, simulation, optimization, machine learning,
etc. are sometimes said to be" non-testable programs" because there is no reliable test …
etc. are sometimes said to be" non-testable programs" because there is no reliable test …
Specification-driven unit test generation for java generic classes
Several approaches exist to automatically derive test cases that check the conformance of
the implementation of abstract data types (ADTs) with respect to their specification. However …
the implementation of abstract data types (ADTs) with respect to their specification. However …
Faithful map** of model classes to mathematical structures
A Darvas, P Müller - Proceedings of the 2007 conference on …, 2007 - dl.acm.org
Abstraction techniques are indispensable for the specification and verification of functional
behavior of programs. In object-oriented specification languages like JML, a powerful …
behavior of programs. In object-oriented specification languages like JML, a powerful …
Bridging the gap between algebraic specification and object-oriented generic programming
Although generics became quite popular in mainstream object-oriented languages and
several specification languages exist that support the description of generic components …
several specification languages exist that support the description of generic components …
Runtime Verification for Generic Classes with ConGu 2
P Crispim, A Lopes, VT Vasconcelos - … 2010, Natal, Brazil, November 8-11 …, 2011 - Springer
Even though generics became quite popular in mainstream object-oriented (OO) languages,
approaches for checking at runtime the conformance of such programs against formal …
approaches for checking at runtime the conformance of such programs against formal …