BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Jamaica
1 × Norway
1 × Sweden
1 × Switzerland
1 × United Kingdom
4 × USA
Collaborated with:
∅ M.Büchler J.Oudinet W.Prenninger D.Holling M.Gemmar T.Mouelhi Y.L.Traon A.Leitner B.Meyer M.Oriol R.Eschbach B.Baudry S.Ognawala M.Ochoa T.Limmer S.Mori I.Ciupa X.Zhu S.Gauch L.Gerhard N.Kral A.Blotz F.Huber H.Lötzbeyer O.Slotosch H.Zängerl S.Wagner C.Kühnel M.Baumgartner B.Sostawa R.Zölch T.Stauner
Talks about:
test (10) base (8) model (7) softwar (2) control (2) applic (2) access (2) fault (2) engin (2) web (2)

♂ Person: Alexander Pretschner

DBLP DBLP: Pretschner:Alexander

Facilitated 9 volumes:

MoDELS 2014PracticalTrackPrCo
MoDELS 2014PrCo
MoDELS 2013PracticalTrackPrCo
MoDELS 2013PrCo
MoDELS 2012PrCo
MoDELS 2016PracticalTrackCh
A-MOST 2019SCo

Contributed to:

ASE 20142014
MoDELS 20132013
ICST 20122012
TAP 20112011
ICST 20092009
ICST 20082008
FM 20052005
ICSE 20052005
MoDELS 20052005
Ada Deutschland Tagung 20022002
CIKM 19991999
ASE 20162016

Wrote 15 papers:

ASE-2014-HollingPG #generative #lightweight #named #testing
8Cage: lightweight fault-based test generation for simulink (DH, AP, MG), pp. 859–862.
MoDELS-2013-PretschnerHEG #assurance #fault #quality
A Generic Fault Model for Quality Assurance (AP, DH, RE, MG), pp. 87–103.
ICST-2012-BuchlerOP #named #testing #web
SPaCiTE — Web Application Testing Engine (MB, JO, AP), pp. 858–859.
TAP-2011-BuchlerOP #security #testing
Security Mutants for Property-Based Testing (MB, JO, AP), pp. 69–77.
ICST-2009-LeitnerPMMO #effectiveness #on the
On the Effectiveness of Test Extraction without Overhead (AL, AP, SM, BM, MO), pp. 416–425.
ICST-2008-CiupaPLOM #object-oriented #on the #predict #random testing #testing
On the Predictability of Random Tests for Object-Oriented Software (IC, AP, AL, MO, BM), pp. 72–81.
ICST-2008-PretschnerMT #data access #modelling #policy #testing
Model-Based Tests for Access Control Policies (AP, TM, YLT), pp. 338–347.
ICST-2008-TraonMPB #assessment #data access #legacy #testing
Test-Driven Assessment of Access Control in Legacy Applications (YLT, TM, AP, BB), pp. 238–247.
FM-2005-Pretschner #modelling #testing
Model-Based Testing in Practice (AP), pp. 537–541.
ICSE-2005-Pretschner #modelling #testing
Model-based testing (AP), pp. 722–723.
ICSE-2005-PretschnerPWKBSZS #automation #evaluation #modelling #testing
One evaluation of model-based testing and its automation (AP, WP, SW, CK, MB, BS, RZ, TS), pp. 392–401.
MoDELS-2005-PretschnerP #behaviour #modelling #refactoring
Computing Refactorings of Behavior Models (AP, WP), pp. 126–141.
Ada-2002-BlotzHLPSZ #ada #development #modelling #re-engineering #safety
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems (AB, FH, HL, AP, OS, HPZ), pp. 37–52.
CIKM-1999-ZhuGGKP #ontology #web
Ontology-Based Web Site Mapping for Information Exploration (XZ, SG, LG, NK, AP), pp. 188–194.
ASE-2016-OgnawalaOPL #analysis #composition #execution #low level #named #symbolic computation
MACKE: compositional analysis of low-level vulnerabilities with symbolic execution (SO, MO, AP, TL), pp. 780–785.
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.