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 × Canada
1 × Spain
1 × Switzerland
2 × United Kingdom
4 × USA
Collaborated with:
J.Offutt G.K.Kaminski M.E.Delamaro S.Jajodia I.Ray N.Li J.C.Knight W.Shelton W.Xu D.Wijesekera L.Sun G.Fraser H.Gomaa A.J.Offutt D.Rine B.Sanden B.Kurtz M.Kurtz N.Gökçe
Talks about:
test (6) base (4) use (4) mutat (3) decomposit (2) transact (2) criteria (2) program (2) semant (2) mutant (2)

Person: Paul Ammann

DBLP DBLP: Ammann:Paul

Contributed to:

ICST 20142014
ICST 20122012
CSEE&T 20112011
ICST 20092009
A-MOST 20072007
CAiSE 19971997
CSEE&T 19971997
VLDB 19951995
CSEE 19941994
ICSE 19851985
FSE 20162016

Wrote 13 papers:

ICST-2014-AmmannDO #set
Establishing Theoretical Minimal Sets of Mutants (PA, MED, JO), pp. 21–30.
ICST-2014-DelamaroOA #design
Designing Deletion Mutation Operators (MED, JO, PA), pp. 11–20.
ICST-2012-SheltonLAO #development #testing
Adding Criteria-Based Tests to Test Driven Development (WS, NL, PA, JO), pp. 878–886.
CSEET-2011-OffuttLAX #abstraction #design #education #using #web
Using abstraction and Web applications to teach criteria-based test design (JO, NL, PA, WX), pp. 227–236.
ICST-2009-KaminskiA #detection #fault #logic #testing #using
Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection (GKK, PA), pp. 356–365.
ICST-2009-KaminskiA09a #fault #logic #mutation testing #performance #testing #using
Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing (GKK, PA), pp. 386–395.
A-MOST-2007-WijesekeraASF #model checking #specification #testing
Relating counterexamples to test cases in CTL model checking specifications (DW, PA, LS, GF), pp. 75–84.
CAiSE-1997-JajodiaRA #composition #implementation #semantics #transaction
Implementing Semantic-Based Decomposition of Transactions (SJ, IR, PA), pp. 75–88.
CSEET-1997-AmmannO #maintenance
Maintaining Knowledge Currency in the 21st Century (PA, JO), pp. 161–173.
VLDB-1995-AmmannJR #formal method #semantics #transaction #using
Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions (PA, SJ, IR), pp. 218–227.
CSEE-1994-AmmannGORS #re-engineering #source code
A Five Year Perspective on Software Engineering Graduate Programs at George Mason University (PA, HG, AJO, DR, BS), pp. 473–488.
ICSE-1985-KnightA #evaluation #fault
An Experimental Evaluation of Simple Methods for Seeding Program Errors (JCK, PA), pp. 337–342.
Analyzing the validity of selective mutation with dominator mutants (BK, PA, JO, MED, MK, NG), pp. 571–582.

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.