Paul Ammann

According to our database, Paul Ammann authored at least 106 papers between 1985 and 2024.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2024

230, 439 Test Failures Later: An Empirical Evaluation of Flaky Failure Classifiers.

Abdulrahman Alshammari, Paul Ammann, Michael Hilton, Jonathan Bell

CoRR, 2024

2022

CONFETTI: Amplifying Concolic Guidance for Fuzzers.

James Kukucka, Luís Pina, Paul Ammann, Jonathan Bell

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Prioritizing Mutants to Guide Mutation Testing.

Samuel J. Kaufman, Ryan Featherman, Justin Alvin, Bob Kurtz, Paul Ammann, René Just

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Practice makes better: quiz retake software to increase student learning.

Kesina Baral, Jeff Offutt, Paul Ammann, Rasika Mohod

Proceedings of the EASEAI 2021: Proceedings of the 3rd International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, 2021

2020

Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size.

Yiqun T. Chen, Rahul Gopinath, Anita Tadakamalla, Michael D. Ernst, Reid Holmes, Gordon Fraser, Paul Ammann, René Just

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Teaching a Testing Concept (JUnit) with Active Learning.

Kesina Baral, Paul Ammann

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

Evaluating a Test Automation Decision Support Tool.

Kesina Baral, Rasika Mohod, Jennifer Flamm, Seth Goldrich, Paul Ammann

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Guiding testing effort using mutant utility.

Justin Alvin, Bob Kurtz, Paul Ammann, Huzefa Rangwala, René Just

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions.

Goran Petrovic, Marko Ivankovic, Bob Kurtz, Paul Ammann, René Just

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

2017

Mutation operators for testing Android apps.

Lin Deng, Jeff Offutt, Paul Ammann, Nariman Mirzaei

Inf. Softw. Technol., 2017

A Novel Self-Paced Model for Teaching Programming.

Jeff Offutt, Paul Ammann, Kinga Dobolyi, Chris Kauffmann, Jaime Lester, Upsorn Praphamontripong, Huzefa Rangwala, Sanjeev Setia, Pearl Y. Wang, Liz White

Proceedings of the Fourth ACM Conference on Learning @ Scale, 2017

Inferring mutant utility from program context.

René Just, Bob Kurtz, Paul Ammann

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

2016

Barriers to Usable Security? Three Organizational Case Studies.

Deanna D. Caputo, Shari Lawrence Pfleeger, M. Angela Sasse, Paul Ammann, Jeff Offutt, Lin Deng

IEEE Secur. Priv., 2016

Analyzing the validity of selective mutation with dominator mutants.

Bob Kurtz, Paul Ammann, Jeff Offutt, Márcio Eduardo Delamaro, Mariet Kurtz, Nida Gökçe

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Are We There Yet? How Redundant and Equivalent Mutants Affect Determination of Test Completeness.

Bob Kurtz, Paul Ammann, Jeff Offutt, Mariet Kurtz

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

2015

Static analysis of mutant subsumption.

Bob Kurtz, Paul Ammann, Jeff Offutt

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Towards mutation analysis of Android apps.

Lin Deng, Nariman Mirzaei, Paul Ammann, Jeff Offutt

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

EcoDroid: An Approach for Energy-Based Ranking of Android Apps.

Reyhaneh Jabbarvand Behrouz, Alireza Sadeghi, Joshua Garcia, Sam Malek, Paul Ammann

Proceedings of the 4th IEEE/ACM International Workshop on Green and Sustainable Software, 2015

2014

Generating Test Data to Distinguish Conjunctive Queries with Equalities.

Preetham Vemasani, Alexander Brodsky, Paul Ammann

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Mutant Subsumption Graphs.

Bob Kurtz, Paul Ammann, Márcio Eduardo Delamaro, Jeff Offutt, Lin Deng

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Designing Deletion Mutation Operators.

Márcio Eduardo Delamaro, Jeff Offutt, Paul Ammann

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Establishing Theoretical Minimal Sets of Mutants.

Paul Ammann, Márcio Eduardo Delamaro, Jeff Offutt

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013

Improving logic-based testing.

Gary Kaminski, Paul Ammann, Jeff Offutt

J. Syst. Softw., 2013

2012

Guest Editorial for the Special Issue on Model-Based Testing.

Paul Ammann, Gordon Fraser, Franz Wotawa

Softw. Test. Verification Reliab., 2012

Adding Criteria-Based Tests to Test Driven Development.

William Shelton, Nan Li, Paul Ammann, Jeff Offutt

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Reducing logic test set size while preserving fault detection.

Garrett Kent Kaminski, Paul Ammann

Softw. Test. Verification Reliab., 2011

A logic mutation approach to selective mutation for programs and queries.

Garrett Kent Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt

Inf. Softw. Technol., 2011

Better predicate testing.

Gary Kaminski, Paul Ammann, Jeff Offutt

Proceedings of the 6th International Workshop on Automation of Software Test, 2011

Using abstraction and Web applications to teach criteria-based test design.

Jeff Offutt, Nan Li, Paul Ammann, Wuzhi Xu

Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

2010

An Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path Coverage.

Garrett Kent Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

Applying MCDC to Large DNF Logic Expressions.

Garrett Kent Kaminski, Paul Ammann

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

Applications of Optimization to Logic Testing.

Garrett Kent Kaminski, Paul Ammann

Proceedings of the Third International Conference on Software Testing, 2010

2009

Testing with model checkers: a survey.

Gordon Fraser, Franz Wotawa, Paul Ammann

Softw. Test. Verification Reliab., 2009

Issues in using model checkers for test case generation.

Gordon Fraser, Franz Wotawa, Paul Ammann

J. Syst. Softw., 2009

Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection.

Garrett Kent Kaminski, Paul Ammann

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing.

Garrett Kent Kaminski, Paul Ammann

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection.

Garrett Kent Kaminski, Paul Ammann

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

Reconciling perspectives of software logic testing.

Garrett Kent Kaminski, Gregory Williams, Paul Ammann

Softw. Test. Verification Reliab., 2008

Reachability and Propagation for LTL Requirements Testing.

Gordon Fraser, Paul Ammann

Proceedings of the Eighth International Conference on Quality Software, 2008

Coverage Criteria for State Based Specifications.

Paul Ammann, Jeff Offutt, Wuzhi Xu

Proceedings of the Formal Methods and Testing, 2008

Introduction to Software Testing.

Paul Ammann, Jeff Offutt

Cambridge University Press, ISBN: 978-0-511-80916-3, 2008

2007

Can-Follow Concurrency Control.

Peng Liu, Jie Li, Sushil Jajodia, Paul Ammann

IEEE Trans. Computers, 2007

Relating counterexamples to test cases in CTL model checking specifications.

Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006

A framework for establishing, assessing, and managing trust in inter-organizational relationships.

Joseph Pamula, Paul Ammann, Sushil Jajodia, Ronald W. Ritchey

Proceedings of the 3rd ACM Workshop On Secure Web Services, 2006

BPEL orchestration of secure webmail.

Saket Kaushik, Duminda Wijesekera, Paul Ammann

Proceedings of the 3rd ACM Workshop On Secure Web Services, 2006

An industrial case study of structural testing applied to safety-critical embedded software.

Jing Guan, Jeff Offutt, Paul Ammann

Proceedings of the 2006 International Symposium on Empirical Software Engineering (ISESE 2006), 2006

An Algebra for Composing Ontologies.

Saket Kaushik, Csilla Farkas, Duminda Wijesekera, Paul Ammann

Proceedings of the Formal Ontology in Information Systems, 2006

Policy Transformations for Preventing Leakage of Sensitive Information in Email Systems.

Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann

Proceedings of the Data and Applications Security XX, 2006

A weakest-adversary security metric for network configuration security analysis.

Joseph Pamula, Sushil Jajodia, Paul Ammann, Vipin Swarup

Proceedings of the 2nd ACM Workshop on Quality of Protection, 2006

2005

Policy-based dissemination of partial web-ontologies.

Saket Kaushik, Duminda Wijesekera, Paul Ammann

Proceedings of the 2nd ACM Workshop On Secure Web Services, 2005

Email feedback: a policy-based approach to overcoming false positives.

Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann

Proceedings of the 2005 ACM workshop on Formal methods in security engineering, 2005

A Host-Based Approach to Network Attack Chaining Analysis.

Paul Ammann, Joseph Pamula, Julie A. Street, Ronald W. Ritchey

Proceedings of the 21st Annual Computer Security Applications Conference (ACSAC 2005), 2005

2004

A Policy Driven Approach to Email Services.

Saket Kaushik, Paul Ammann, Duminda Wijesekera, William H. Winsborough, Ronald W. Ritchey

Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004

2003

Generating test data from state-based specifications.

A. Jefferson Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann

Softw. Test. Verification Reliab., 2003

Coverage Criteria for Logical Expressions.

Paul Ammann, A. Jefferson Offutt, Hong Huang

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

2002

Recovery from Malicious Transactions.

Paul Ammann, Sushil Jajodia, Peng Liu

IEEE Trans. Knowl. Data Eng., 2002

Scalable, graph-based network vulnerability analysis.

Paul Ammann, Duminda Wijesekera, Saket Kaushik

Proceedings of the 9th ACM Conference on Computer and Communications Security, 2002

2001

Using a Model Checker to Test Safety Properties.

Paul Ammann, Wei Ding, Daling Xu

Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001

2000

System testing via mutation analysis of model checking specifications.

Paul Ammann

ACM SIGSOFT Softw. Eng. Notes, 2000

Using semantic correctness in multidatabases to achieve local autonomy, distribute coordination, and maintain global integrity.

Indrakshi Ray, Paul Ammann, Sushil Jajodia

Inf. Sci., 2000

Rewriting Histories: Recovering from Malicious Transactions.

Peng Liu, Paul Ammann, Sushil Jajodia

Distributed Parallel Databases, 2000

Using Model Checking to Analyze Network Vulnerabilities.

Ronald W. Ritchey, Paul Ammann

Proceedings of the 2000 IEEE Symposium on Security and Privacy, 2000

Evaluation of Three Specification-Based Testing Criteria.

Aynur Abdurazik, Paul Ammann, Wei Ding, A. Jefferson Offutt

Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

1999

Computer Security, Fault Tolerance, And Software Assurance.

Paul Ammann, Sushil Jajodia

IEEE Concurr., 1999

Surviving Information Warfare Attacks.

Sushil Jajodia, Paul Ammann, Catherine D. McCollum

Computer, 1999

Trusted Recovery.

Sushil Jajodia, Catherine D. McCollum, Paul Ammann

Commun. ACM, 1999

The Integrity Challenge.

Paul Ammann, Sushil Jajodia

Proceedings of the Integrity and Internal Control in Information Systems, 1999

Incorporating Transaction Semantics to Reduce Reprocessing Overhead in Replicated Mobile Data Applications.

Peng Liu, Paul Ammann, Sushil Jajodia

Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

A Specification-Based Coverage Metric to Evaluate Test Sets.

Paul Ammann, Paul E. Black

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1998

A Semantic-Based Transaction Processing Model for Multilevel Transactions.

Indrakshi Ray, Paul Ammann, Sushil Jajodia

J. Comput. Secur., 1998

Using Model Checking to Generate Tests from Specifications.

Paul Ammann, Paul E. Black, William Majurski

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1997

Applying Formal Methods to Semantic-Based Decomposition of Transactions.

Paul Ammann, Sushil Jajodia, Indrakshi Ray

ACM Trans. Database Syst., 1997

Rethinking integrity [distributed databases].

Paul Ammann, Sushil Jajodia

IEEE Concurrency, 1997

Semantics-based transaction processing: satisfying conflicting objectives.

Paul Ammann, Sushil Jajodia

IEEE Concurrency, 1997

Applying Data Redundancy to Differential Equation Solvers.

Paul Ammann, Dahlard L. Lukes, John C. Knight

Ann. Softw. Eng., 1997

Surviving information warfare attacks on databases.

Paul Ammann, Sushil Jajodia, Catherine D. McCollum, Barbara T. Blaustein

Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997

Maintaining Knowledge Currency in the 21st Century.

Paul Ammann, Jeff Offutt

Proceedings of the Tenth Conference on Software Engineering Education and Training, 1997

Implementing Semantic-Based Decomposition of Transactions.

Sushil Jajodia, Indrakshi Ray, Paul Ammann

Proceedings of the Advanced Information Systems Engineering, 1997

Semantic-Based Decomposition of Transactions.

Paul Ammann, Sushil Jajodia, Indrakshi Ray

Proceedings of the Advanced Transaction Models and Architectures, 1997

1996

Globally Consistent Event Ordering in One-Directional Distributed Environments.

Paul Ammann, Sushil Jajodia, Phyllis G. Frankl

IEEE Trans. Parallel Distributed Syst., 1996

The Expressive Power of Multi-parent Creation in Monotonic Access Control Models.

Paul Ammann, Richard J. Lipton, Ravi S. Sandhu

J. Comput. Secur., 1996

Maintaining Replicated Authorizations in Distributed Database Systems.

Pierangela Samarati, Paul Ammann, Sushil Jajodia

Data Knowl. Eng., 1996

Ensuring Atomicity of Multilevel Transactions.

Paul Ammann, Sushil Jajodia, Indrakshi Ray

Proceedings of the 1996 IEEE Symposium on Security and Privacy, 1996

1995

On-The-Fly Reading of Entire Databases.

Paul Ammann, Sushil Jajodia, Padmaja Mavuluri

IEEE Trans. Knowl. Data Eng., 1995

The Partitioned Synchronization Rule for Planar Extendible Partial Orders.

Paul Ammann, Vijayalakshmi Atluri, Sushil Jajodia

IEEE Trans. Knowl. Data Eng., 1995

Concurrency Control in a Secure Database via a Two-Snapshot Algorithm.

Paul Ammann, Frank Jaeckle, Sushil Jajodia

J. Comput. Secur., 1995

Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions.

Paul Ammann, Sushil Jajodia, Indrakshi Ray

Proceedings of the VLDB'95, 1995

1994

The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing.

Paul Ammann, Susan S. Brilliant, John C. Knight

IEEE Trans. Software Eng., 1994

One-Representative Safety Analysis in the Non-Monotonic Transform Model.

Ravi S. Sandhu, Paul Ammann

Proceedings of the Seventh IEEE Computer Security Foundations Workshop, 1994

A Five Year Perspective on Software Engineering Graduate Programs at George Mason University.

Paul Ammann, Hassan Gomaa, A. Jefferson Offutt, David Rine, Bo Ingvar Sandén

Proceedings of the Software Engineering Education, 1994

Propagation of Authorizations in Distributed Database Systems.

Pierangela Samarati, Paul Ammann, Sushil Jajodia

Proceedings of the CCS '94, 1994

An Efficient Multiversion Algorithm for Secure Servicing of Transaction Reads.

Paul Ammann, Sushil Jajodia

Proceedings of the CCS '94, 1994

1993

Distributed Timestamp Generation in Planar Lattice Networks.

Paul Ammann, Sushil Jajodia

ACM Trans. Comput. Syst., 1993

Planar Lattice Security Structures for Multilevel Replicated Databases.

Paul Ammann, Sushil Jajodia

Proceedings of the Database Security, 1993

1992

The Extended Schematic Protection Model

Paul Ammann, Ravi S. Sandhu

J. Comput. Secur., 1992

A two snapshot algorithm for concurrency control in multi-level secure databases.

Paul Ammann, Frank Jaeckle, Sushil Jajodia

Proceedings of the 1992 IEEE Computer Society Symposium on Research in Security and Privacy, 1992

The Expressive Power of Multi-Parent Creation in a Monotonic Access Control Model.

Paul Ammann, Richard J. Lipton, Ravi S. Sandhu

Proceedings of the 5th IEEE Computer Security Foundations Workshop, 1992

Implementing transaction control expressions by checking for absence of access rights.

Paul Ammann, Ravi S. Sandhu

Proceedings of the Eighth Annual Computer Security Applications Conference, 1992

1991

Safety Analysis for the Extended Schematic Protection Model.

Paul Ammann, Ravi S. Sandhu

Proceedings of the 1991 IEEE Symposium on Security and Privacy, 1991

A Timestamp Ordering Algorithm for Secure, Single-Version, Multi-Level Databases.

Paul Ammann, Sushil Jajodia

Proceedings of the Database Security, 1991

A distributed implementation of the extended schematic protection model.

Paul Ammann, Ravi S. Sandhu, Gurpreet S. Suri

Proceedings of the Seventh Annual Computer Security Applications Conference, 1991

1990

On the performance of software testing using multiple versions.

Susan S. Brilliant, John C. Knight, Paul Ammann

Proceedings of the 20th International Symposium on Fault-Tolerant Computing, 1990

Extending the creation operation in the Schematic Protection Model.

Paul Ammann, Ravi S. Sandhu

Proceedings of the Sixth Annual Computer Security Applications Conference, 1990

1989

Issues Influencing the Use of N-Version Programming.

John C. Knight, Paul Ammann

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

Data Diversity: An Approach to Software Fault Tolerance.

Paul Ammann, John C. Knight

IEEE Trans. Computers, 1988

1985

An Experimental Evaluation of Simple Methods for Seeding Program Errors.

John C. Knight, Paul Ammann

Proceedings of the Proceedings, 1985