Paul Ammann

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 18

Top Venues

ICST Workshops

ICST

ICSE

GREENS

Publications

Abdulrahman Alshammari, Paul Ammann, Michael Hilton, Jonathan Bell
230, 439 Test Failures Later: An Empirical Evaluation of Flaky Failure Classifiers. CoRR (2024)
Samuel J. Kaufman, Ryan Featherman, Justin Alvin, Bob Kurtz, Paul Ammann, René Just
Prioritizing Mutants to Guide Mutation Testing. ICSE (2022)
James Kukucka, Luís Pina, Paul Ammann, Jonathan Bell
CONFETTI: Amplifying Concolic Guidance for Fuzzers. ICSE (2022)
Kesina Baral, Jeff Offutt, Paul Ammann, Rasika Mohod
Practice makes better: quiz retake software to increase student learning. EASEAI@ESEC/SIGSOFT FSE (2021)
Yiqun T. Chen, Rahul Gopinath, Anita Tadakamalla, Michael D. Ernst, Reid Holmes, Gordon Fraser, Paul Ammann, René Just
Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size. ASE (2020)
Kesina Baral, Paul Ammann
Teaching a Testing Concept (JUnit) with Active Learning. ICST Workshops (2020)
Kesina Baral, Rasika Mohod, Jennifer Flamm, Seth Goldrich, Paul Ammann
Evaluating a Test Automation Decision Support Tool. ICST Workshops (2019)
Justin Alvin, Bob Kurtz, Paul Ammann, Huzefa Rangwala, René Just
Guiding testing effort using mutant utility. ICSE (Companion Volume) (2019)
Goran Petrovic, Marko Ivankovic, Bob Kurtz, Paul Ammann, René Just
An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions. ICST Workshops (2018)
Jeff Offutt, Paul Ammann, Kinga Dobolyi, Chris Kauffmann, Jaime Lester, Upsorn Praphamontripong, Huzefa Rangwala, Sanjeev Setia, Pearl Y. Wang, Liz White
A Novel Self-Paced Model for Teaching Programming. L@S (2017)
René Just, Bob Kurtz, Paul Ammann
Inferring mutant utility from program context. ISSTA (2017)
Lin Deng, Jeff Offutt, Paul Ammann, Nariman Mirzaei
Mutation operators for testing Android apps. Inf. Softw. Technol. 81 (2017)
Bob Kurtz, Paul Ammann, Jeff Offutt, Márcio Eduardo Delamaro, Mariet Kurtz, Nida Gökçe
Analyzing the validity of selective mutation with dominator mutants. SIGSOFT FSE (2016)
Bob Kurtz, Paul Ammann, Jeff Offutt, Mariet Kurtz
Are We There Yet? How Redundant and Equivalent Mutants Affect Determination of Test Completeness. ICST Workshops (2016)
Deanna D. Caputo, Shari Lawrence Pfleeger, M. Angela Sasse, Paul Ammann, Jeff Offutt, Lin Deng
Barriers to Usable Security? Three Organizational Case Studies. IEEE Secur. Priv. 14 (5) (2016)
Bob Kurtz, Paul Ammann, Jeff Offutt
Static analysis of mutant subsumption. ICST Workshops (2015)
Lin Deng, Nariman Mirzaei, Paul Ammann, Jeff Offutt
Towards mutation analysis of Android apps. ICST Workshops (2015)
Reyhaneh Jabbarvand Behrouz, Alireza Sadeghi, Joshua Garcia, Sam Malek, Paul Ammann
EcoDroid: An Approach for Energy-Based Ranking of Android Apps. GREENS (2015)
Paul Ammann, Márcio Eduardo Delamaro, Jeff Offutt
Establishing Theoretical Minimal Sets of Mutants. ICST (2014)
Márcio Eduardo Delamaro, Jeff Offutt, Paul Ammann
Designing Deletion Mutation Operators. ICST (2014)
Bob Kurtz, Paul Ammann, Márcio Eduardo Delamaro, Jeff Offutt, Lin Deng
Mutant Subsumption Graphs. ICST Workshops (2014)
Preetham Vemasani, Alexander Brodsky, Paul Ammann
Generating Test Data to Distinguish Conjunctive Queries with Equalities. ICST Workshops (2014)
Gary Kaminski, Paul Ammann, Jeff Offutt
Improving logic-based testing. J. Syst. Softw. 86 (8) (2013)
William Shelton, Nan Li, Paul Ammann, Jeff Offutt
Adding Criteria-Based Tests to Test Driven Development. ICST (2012)
Paul Ammann, Gordon Fraser, Franz Wotawa
Guest Editorial for the Special Issue on Model-Based Testing. Softw. Test. Verification Reliab. 22 (5) (2012)
Jeff Offutt, Nan Li, Paul Ammann, Wuzhi Xu
Using abstraction and Web applications to teach criteria-based test design. CSEE&T (2011)
Garrett Kent Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt
A logic mutation approach to selective mutation for programs and queries. Inf. Softw. Technol. 53 (10) (2011)
Garrett Kent Kaminski, Paul Ammann
Reducing logic test set size while preserving fault detection. Softw. Test. Verification Reliab. 21 (3) (2011)
Gary Kaminski, Paul Ammann, Jeff Offutt
Better predicate testing. AST (2011)
Garrett Kent Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt
An Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path Coverage. Software Engineering Research and Practice (2010)
Garrett Kent Kaminski, Paul Ammann
Applying MCDC to Large DNF Logic Expressions. Software Engineering Research and Practice (2010)
Garrett Kent Kaminski, Paul Ammann
Applications of Optimization to Logic Testing. ICST Workshops (2010)
Gordon Fraser, Franz Wotawa, Paul Ammann
Testing with model checkers: a survey. Softw. Test. Verification Reliab. 19 (3) (2009)
Garrett Kent Kaminski, Paul Ammann
Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection. ICST (2009)
Garrett Kent Kaminski, Paul Ammann
Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection. ICST Workshops (2009)
Gordon Fraser, Franz Wotawa, Paul Ammann
Issues in using model checkers for test case generation. J. Syst. Softw. 82 (9) (2009)
Garrett Kent Kaminski, Paul Ammann
Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing. ICST (2009)
Gordon Fraser, Paul Ammann
Reachability and Propagation for LTL Requirements Testing. QSIC (2008)
Paul Ammann, Jeff Offutt, Wuzhi Xu
Coverage Criteria for State Based Specifications. Formal Methods and Testing (2008)
Garrett Kent Kaminski, Gregory Williams, Paul Ammann
Reconciling perspectives of software logic testing. Softw. Test. Verification Reliab. 18 (3) (2008)
Peng Liu, Jie Li, Sushil Jajodia, Paul Ammann
Can-Follow Concurrency Control. IEEE Trans. Computers 56 (10) (2007)
Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser
Relating counterexamples to test cases in CTL model checking specifications. A-MOST (2007)
Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann
Policy Transformations for Preventing Leakage of Sensitive Information in Email Systems. DBSec (2006)
Joseph Pamula, Paul Ammann, Sushil Jajodia, Ronald W. Ritchey
A framework for establishing, assessing, and managing trust in inter-organizational relationships. SWS (2006)
Joseph Pamula, Sushil Jajodia, Paul Ammann, Vipin Swarup
A weakest-adversary security metric for network configuration security analysis. QoP (2006)
Jing Guan, Jeff Offutt, Paul Ammann
An industrial case study of structural testing applied to safety-critical embedded software. ISESE (2006)
Saket Kaushik, Csilla Farkas, Duminda Wijesekera, Paul Ammann
An Algebra for Composing Ontologies. FOIS (2006)
Saket Kaushik, Duminda Wijesekera, Paul Ammann
BPEL orchestration of secure webmail. SWS (2006)
Paul Ammann, Joseph Pamula, Julie A. Street, Ronald W. Ritchey
A Host-Based Approach to Network Attack Chaining Analysis. ACSAC (2005)
Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann
Email feedback: a policy-based approach to overcoming false positives. FMSE (2005)
Saket Kaushik, Duminda Wijesekera, Paul Ammann
Policy-based dissemination of partial web-ontologies. SWS (2005)
Saket Kaushik, Paul Ammann, Duminda Wijesekera, William H. Winsborough, Ronald W. Ritchey
A Policy Driven Approach to Email Services. POLICY (2004)
Paul Ammann, A. Jefferson Offutt, Hong Huang
Coverage Criteria for Logical Expressions. ISSRE (2003)
A. Jefferson Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann
Generating test data from state-based specifications. Softw. Test. Verification Reliab. 13 (1) (2003)
Paul Ammann, Sushil Jajodia, Peng Liu
Recovery from Malicious Transactions. IEEE Trans. Knowl. Data Eng. 14 (5) (2002)
Paul Ammann, Duminda Wijesekera, Saket Kaushik
Scalable, graph-based network vulnerability analysis. CCS (2002)
Paul Ammann, Wei Ding, Daling Xu
Using a Model Checker to Test Safety Properties. ICECCS (2001)
Aynur Abdurazik, Paul Ammann, Wei Ding, A. Jefferson Offutt
Evaluation of Three Specification-Based Testing Criteria. ICECCS (2000)
Indrakshi Ray, Paul Ammann, Sushil Jajodia
Using semantic correctness in multidatabases to achieve local autonomy, distribute coordination, and maintain global integrity. Inf. Sci. 129 (1-4) (2000)
Paul Ammann
System testing via mutation analysis of model checking specifications. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Ronald W. Ritchey, Paul Ammann
Using Model Checking to Analyze Network Vulnerabilities. IEEE Symposium on Security and Privacy (2000)
Peng Liu, Paul Ammann, Sushil Jajodia
Rewriting Histories: Recovering from Malicious Transactions. Distributed Parallel Databases 8 (1) (2000)
Paul Ammann, Sushil Jajodia
Computer Security, Fault Tolerance, And Software Assurance. IEEE Concurr. 7 (1) (1999)
Peng Liu, Paul Ammann, Sushil Jajodia
Incorporating Transaction Semantics to Reduce Reprocessing Overhead in Replicated Mobile Data Applications. ICDCS (1999)
Sushil Jajodia, Catherine D. McCollum, Paul Ammann
Trusted Recovery. Commun. ACM 42 (7) (1999)
Sushil Jajodia, Paul Ammann, Catherine D. McCollum
Surviving Information Warfare Attacks. Computer 32 (4) (1999)
Paul Ammann, Sushil Jajodia
The Integrity Challenge. IICIS (1999)
Paul Ammann, Paul E. Black
A Specification-Based Coverage Metric to Evaluate Test Sets. HASE (1999)
Paul Ammann, Paul E. Black, William Majurski
Using Model Checking to Generate Tests from Specifications. ICFEM (1998)
Indrakshi Ray, Paul Ammann, Sushil Jajodia
A Semantic-Based Transaction Processing Model for Multilevel Transactions. J. Comput. Secur. 6 (3) (1998)
Paul Ammann, Sushil Jajodia
Rethinking integrity [distributed databases]. IEEE Concurrency 5 (4) (1997)
Paul Ammann, Jeff Offutt
Maintaining Knowledge Currency in the 21st Century. CSEE&T (1997)
Sushil Jajodia, Indrakshi Ray, Paul Ammann
Implementing Semantic-Based Decomposition of Transactions. CAiSE (1997)
Paul Ammann, Sushil Jajodia
Semantics-based transaction processing: satisfying conflicting objectives. IEEE Concurrency 5 (2) (1997)
Paul Ammann, Sushil Jajodia, Indrakshi Ray
Applying Formal Methods to Semantic-Based Decomposition of Transactions. ACM Trans. Database Syst. 22 (2) (1997)
Paul Ammann, Dahlard L. Lukes, John C. Knight
Applying Data Redundancy to Differential Equation Solvers. Ann. Softw. Eng. 4 (1997)
Paul Ammann, Sushil Jajodia, Catherine D. McCollum, Barbara T. Blaustein
Surviving information warfare attacks on databases. IEEE Symposium on Security and Privacy (1997)
Paul Ammann, Sushil Jajodia, Phyllis G. Frankl
Globally Consistent Event Ordering in One-Directional Distributed Environments. IEEE Trans. Parallel Distributed Syst. 7 (6) (1996)
Paul Ammann, Sushil Jajodia, Indrakshi Ray
Ensuring Atomicity of Multilevel Transactions. IEEE Symposium on Security and Privacy (1996)
Paul Ammann, Richard J. Lipton, Ravi S. Sandhu
The Expressive Power of Multi-parent Creation in Monotonic Access Control Models. J. Comput. Secur. 4 (2/3) (1996)
Pierangela Samarati, Paul Ammann, Sushil Jajodia
Maintaining Replicated Authorizations in Distributed Database Systems. Data Knowl. Eng. 18 (1) (1996)
Paul Ammann, Vijayalakshmi Atluri, Sushil Jajodia
The Partitioned Synchronization Rule for Planar Extendible Partial Orders. IEEE Trans. Knowl. Data Eng. 7 (5) (1995)
Paul Ammann, Sushil Jajodia, Padmaja Mavuluri
On-The-Fly Reading of Entire Databases. IEEE Trans. Knowl. Data Eng. 7 (5) (1995)
Paul Ammann, Sushil Jajodia, Indrakshi Ray
Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions. VLDB (1995)
Paul Ammann, Frank Jaeckle, Sushil Jajodia
Concurrency Control in a Secure Database via a Two-Snapshot Algorithm. J. Comput. Secur. 3 (2/3) (1995)
Pierangela Samarati, Paul Ammann, Sushil Jajodia
Propagation of Authorizations in Distributed Database Systems. CCS (1994)
Paul Ammann, Hassan Gomaa, A. Jefferson Offutt, David Rine, Bo Ingvar Sandén
A Five Year Perspective on Software Engineering Graduate Programs at George Mason University. CSEE (1994)
Ravi S. Sandhu, Paul Ammann
One-Representative Safety Analysis in the Non-Monotonic Transform Model. CSFW (1994)
Paul Ammann, Sushil Jajodia
An Efficient Multiversion Algorithm for Secure Servicing of Transaction Reads. CCS (1994)
Paul Ammann, Susan S. Brilliant, John C. Knight
The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing. IEEE Trans. Software Eng. 20 (2) (1994)
Paul Ammann, Sushil Jajodia
Distributed Timestamp Generation in Planar Lattice Networks. ACM Trans. Comput. Syst. 11 (3) (1993)
Paul Ammann, Sushil Jajodia
Planar Lattice Security Structures for Multilevel Replicated Databases. DBSec (1993)
Paul Ammann, Ravi S. Sandhu
Implementing transaction control expressions by checking for absence of access rights. ACSAC (1992)
Paul Ammann, Richard J. Lipton, Ravi S. Sandhu
The Expressive Power of Multi-Parent Creation in a Monotonic Access Control Model. CSFW (1992)
Paul Ammann, Frank Jaeckle, Sushil Jajodia
A two snapshot algorithm for concurrency control in multi-level secure databases. IEEE Symposium on Security and Privacy (1992)
Paul Ammann, Ravi S. Sandhu
The Extended Schematic Protection Model J. Comput. Secur. 1 (3-4) (1992)
Paul Ammann, Ravi S. Sandhu, Gurpreet S. Suri
A distributed implementation of the extended schematic protection model. ACSAC (1991)
Paul Ammann, Ravi S. Sandhu
Safety Analysis for the Extended Schematic Protection Model. IEEE Symposium on Security and Privacy (1991)
Paul Ammann, Sushil Jajodia
A Timestamp Ordering Algorithm for Secure, Single-Version, Multi-Level Databases. DBSec (1991)
Paul Ammann, Ravi S. Sandhu
Extending the creation operation in the Schematic Protection Model. ACSAC (1990)

Paul Ammann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paul Ammann