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: Ammann:Paul
Contributed to:
20142012
20112009
2007
19971997
19951994
1985
2016Wrote 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.
- FSE-2016-KurtzAODKG
- Analyzing the validity of selective mutation with dominator mutants (BK, PA, JO, MED, MK, NG), pp. 571–582.