BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × France
1 × Italy
1 × Norway
1 × Spain
1 × USA
3 × Germany
Collaborated with:
A.I.Baars W.Prasetya S.Bauersfeld P.Tonella M.Harman A.Bagnato P.M.Kruse J.Wegener A.Sadovykh E.Brosse I.S.W.B.Prasetya A.Azurat A.v.Leeuwen A.Elyasov W.Prasetya J.Hage U.Rueda N.Condori-Fernández F.F.Lindlar A.Windisch O.Shehory Y.Hassoun K.Lakhotia P.McMinn E.Puoskari Y.Nir-Buchbinder
Talks about:
test (11) internet (3) futur (3) autom (3) industri (2) fittest (2) base (2) new (2) gui (2) evolutionari (1)

♀ Person: Tanja E. J. Vos

DBLP DBLP: Vos:Tanja_E=_J=

Facilitated 1 volumes:

GTTSE 2015SciCo

Contributed to:

SAC 20152015
CSMR-WCRE 20142014
CSMR 20132013
ASE 20122012
ASE 20112011
CSMR 20112011
ICST 20102010
ICST 20082008
SEFM 20052005

Wrote 9 papers:

SAC-2015-ElyasovPHRVC #equivalence #execution #testing
AB=ᗺA: execution equivalence as a new type of testing oracle (AE, WP, JH, UR, TEJV, NCF), pp. 1559–1566.
CSMR-WCRE-2014-VosTPKBHS #automation #internet #named #process #testing
FITTEST: A new continuous and automated testing process for future Internet applications (TEJV, PT, WP, PMK, AB, MH, OS), pp. 407–410.
CSMR-2013-BagnatoSBV #case study #industrial #internet #testing #uml
The OMG UML Testing Profile in Use — An Industrial Case Study for the Future Internet Testing (AB, AS, EB, TEJV), pp. 457–460.
ASE-2012-BauersfeldV #automation #java #library #named #robust #testing #user interface
GUITest: a Java library for fully automated GUI robustness testing (SB, TEJV), pp. 330–333.
ASE-2011-BaarsHHLMTV #search-based #testing
Symbolic search-based testing (AIB, MH, YH, KL, PM, PT, TEJV), pp. 53–62.
CSMR-2011-VosTWHPPN #internet #testing
Future Internet Testing with FITTEST (TEJV, PT, JW, MH, WP, EP, YNB), pp. 355–358.
ICST-2010-VosBLKWW #automation #industrial #testing
Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool (TEJV, AIB, FFL, PMK, AW, JW), pp. 175–184.
ICST-2008-PrasetyaVB #object-oriented #reflexive #source code #testing
Trace-based Reflexive Testing of OO Programs with T2 (WP, TEJV, AIB), pp. 151–160.
SEFM-2005-PrasetyaAVL #composition #generative #verification
Building Verification Condition Generators by Compositional Extensions (ISWBP, AA, TEJV, AvL), pp. 220–230.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.