| 2024 | ICST | 230,439 Test Failures Later: An Empirical Evaluation of Flaky Failure Classifiers. | Abdulrahman Alshammari, Paul Ammann, Michael Hilton, Jonathan Bell |
| 2024 | ICST | A Study of Flaky Failure De-Duplication to Identify Unreliably Killed Mutants. | Abdulrahman Alshammari, Paul Ammann, Michael Hilton, Jonathan Bell |
| 2024 | ISSTA | An Empirical Examination of Fuzzer Mutator Performance. | James Kukucka, Lus Pina, Paul Ammann, Jonathan Bell |
| 2022 | ICSE | Prioritizing Mutants to Guide Mutation Testing. | Samuel J. Kaufman, Ryan Featherman, Justin Alvin, Bob Kurtz, Paul Ammann, Ren Just |
| 2022 | ICSE | CONFETTI: Amplifying Concolic Guidance for Fuzzers. | James Kukucka, Lus Pina, Paul Ammann, Jonathan Bell |
| 2020 | ICST | Teaching a Testing Concept (JUnit) with Active Learning. | Kesina Baral, Paul Ammann |
| 2019 | ICSE | Guiding testing effort using mutant utility. | Justin Alvin, Bob Kurtz, Paul Ammann, Huzefa Rangwala, Ren Just |
| 2019 | ICST | Evaluating a Test Automation Decision Support Tool. | Kesina Baral, Rasika Mohod, Jennifer Flamm, Seth Goldrich, Paul Ammann |
| 2018 | ICST | An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions. | Goran Petrovic, Marko Ivankovic, Bob Kurtz, Paul Ammann, Ren Just |
| 2017 | ISSTA | Inferring mutant utility from program context. | Ren Just, Bob Kurtz, Paul Ammann |
| 2016 | ICST | Are We There Yet? How Redundant and Equivalent Mutants Affect Determination of Test Completeness. | Bob Kurtz, Paul Ammann, Jeff Offutt, Mariet Kurtz |
| 2015 | ICST | Towards mutation analysis of Android apps. | Lin Deng, Nariman Mirzaei, Paul Ammann, Jeff Offutt |
| 2015 | ICST | Static analysis of mutant subsumption. | Bob Kurtz, Paul Ammann, Jeff Offutt |
| 2014 | ICST | Establishing Theoretical Minimal Sets of Mutants. | Paul Ammann, Mrcio Eduardo Delamaro, Jeff Offutt |
| 2014 | ICST | Designing Deletion Mutation Operators. | Mrcio Eduardo Delamaro, Jeff Offutt, Paul Ammann |
| 2014 | ICST | Mutant Subsumption Graphs. | Bob Kurtz, Paul Ammann, Mrcio Eduardo Delamaro, Jeff Offutt, Lin Deng |
| 2014 | ICST | Generating Test Data to Distinguish Conjunctive Queries with Equalities. | Preetham Vemasani, Alexander Brodsky, Paul Ammann |
| 2012 | ICST | Adding Criteria-Based Tests to Test Driven Development. | William Shelton, Nan Li, Paul Ammann, Jeff Offutt |
| 2011 | ICSE | Better predicate testing. | Gary Kaminski, Paul Ammann, Jeff Offutt |
| 2010 | ICST | Applications of Optimization to Logic Testing. | Garrett Kent Kaminski, Paul Ammann |
| 2009 | ICST | Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection. | Garrett Kent Kaminski, Paul Ammann |
| 2009 | ICST | Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing. | Garrett Kent Kaminski, Paul Ammann |
| 2009 | ICST | Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection. | Garrett Kent Kaminski, Paul Ammann |
| 2006 | CCS | A weakest-adversary security metric for network configuration security analysis. | Joseph Pamula, Sushil Jajodia, Paul Ammann, Vipin Swarup |
| 2006 | DBSEC | Policy Transformations for Preventing Leakage of Sensitive Information in Email Systems. | Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann |
| 2006 | FOIS | An Algebra for Composing Ontologies. | Saket Kaushik, Csilla Farkas, Duminda Wijesekera, Paul Ammann |
| 2005 | ACSAC | A Host-Based Approach to Network Attack Chaining Analysis. | Paul Ammann, Joseph Pamula, Julie A. Street, Ronald W. Ritchey |
| 2005 | CCS | Email feedback: a policy-based approach to overcoming false positives. | Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann |
| 2003 | ISSRE | Coverage Criteria for Logical Expressions. | Paul Ammann, A. Jefferson Offutt, Hong Huang |
| 2002 | CCS | Scalable, graph-based network vulnerability analysis. | Paul Ammann, Duminda Wijesekera, Saket Kaushik |
| 2001 | ICECCS | Using a Model Checker to Test Safety Properties. | Paul Ammann, Wei Ding, Daling Xu |
| 2000 | ICECCS | Evaluation of Three Specification-Based Testing Criteria. | Aynur Abdurazik, Paul Ammann, Wei Ding, A. Jefferson Offutt |
| 2000 | SP | Using Model Checking to Analyze Network Vulnerabilities. | Ronald W. Ritchey, Paul Ammann |
| 1999 | ICDCS | Incorporating Transaction Semantics to Reduce Reprocessing Overhead in Replicated Mobile Data Applications. | Peng Liu, Paul Ammann, Sushil Jajodia |
| 1998 | ICFEM | Using Model Checking to Generate Tests from Specifications. | Paul Ammann, Paul E. Black, William Majurski |
| 1997 | CaiSE | Implementing Semantic-Based Decomposition of Transactions. | Sushil Jajodia, Indrakshi Ray, Paul Ammann |
| 1997 | SP | Surviving information warfare attacks on databases. | Paul Ammann, Sushil Jajodia, Catherine D. McCollum, Barbara T. Blaustein |
| 1996 | SP | Ensuring Atomicity of Multilevel Transactions. | Paul Ammann, Sushil Jajodia, Indrakshi Ray |
| 1995 | VLDB | Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions. | Paul Ammann, Sushil Jajodia, Indrakshi Ray |
| 1994 | CCS | An Efficient Multiversion Algorithm for Secure Servicing of Transaction Reads. | Paul Ammann, Sushil Jajodia |
| 1994 | CCS | Propagation of Authorizations in Distributed Database Systems. | Pierangela Samarati, Paul Ammann, Sushil Jajodia |
| 1993 | DBSEC | Planar Lattice Security Structures for Multilevel Replicated Databases. | Paul Ammann, Sushil Jajodia |
| 1992 | ACSAC | Implementing transaction control expressions by checking for absence of access rights. | Paul Ammann, Ravi S. Sandhu |
| 1992 | SP | A two snapshot algorithm for concurrency control in multi-level secure databases. | Paul Ammann, Frank Jaeckle, Sushil Jajodia |
| 1991 | ACSAC | A distributed implementation of the extended schematic protection model. | Paul Ammann, Ravi S. Sandhu, Gurpreet S. Suri |
| 1991 | DBSEC | A Timestamp Ordering Algorithm for Secure, Single-Version, Multi-Level Databases. | Paul Ammann, Sushil Jajodia |
| 1991 | SP | Safety Analysis for the Extended Schematic Protection Model. | Paul Ammann, Ravi S. Sandhu |
| 1990 | ACSAC | Extending the creation operation in the Schematic Protection Model. | Paul Ammann, Ravi S. Sandhu |
| 1985 | ICSE | An Experimental Evaluation of Simple Methods for Seeding Program Errors. | John C. Knight, Paul Ammann |