Paul Ammann

发表

Semantics-based transaction processing: satisfying conflicting objectives

Sushil Jajodia, Paul Ammann, 1997, IEEE Concurrency.

Applying formal methods to semantic-based decomposition of transactions

Sushil Jajodia, Indrakshi Ray, Paul Ammann, 1997, TODS.

Incorporating transaction semantics to reduce reprocessing overhead in replicated mobile data applications

Sushil Jajodia, Peng Liu, Paul Ammann, 1999, Proceedings. 19th IEEE International Conference on Distributed Computing Systems (Cat. No.99CB37003).

Applications of Optimization to Logic Testing

Paul Ammann, Garrett Kent Kaminski, 2010, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops.

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

René Just, Paul Ammann, Goran Petrovic, 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Rethinking integrity

Sushil Jajodia, Paul Ammann, 1997 .

Using model checking to generate tests from specifications

Paul Ammann, Paul E. Black, William Majurski, 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).

Teaching a Testing Concept (JUnit) with Active Learning

Paul Ammann, Kesina Baral, 2020, 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Introduction to Software Testing: Input Space Partitioning

Paul Ammann, Jeff Offutt, 2008 .

The Integrity Challenge

Sushil Jajodia, Paul Ammann, 1999, IICIS.

Applications of logic coverage criteria and logic mutation to software testing

Paul Ammann, Garrett Kent Kaminski, 2011 .

An Algebra for Composing Ontologies

Duminda Wijesekera, Paul Ammann, Csilla Farkas, 2006, FOIS.

Applying MCDC to Large DNF Logic Expressions

Paul Ammann, Garrett Kent Kaminski, 2010, Software Engineering Research and Practice.

Resilient Computing Courseware

Neeraj Suri, Marco Winckler, Miguel Correia, 2009 .

The expressive power of multi-parent creation in monotonic access control models

Richard J. Lipton, Ravi S. Sandhu, Paul Ammann, 1992, [1992] Proceedings The Computer Security Foundations Workshop V.

Policy-controlled email services

Duminda Wijesekera, Paul Ammann, Saket Kaushik, 2007 .

A SPECIFICATION-BASED COVERAGE METRIC TO EVALUATE TEST SETS

Paul Ammann, Paul E. Black, 2001 .

Policy Transformations for Preventing Leakage of Sensitive Information in Email Systems

Duminda Wijesekera, Paul Ammann, William H. Winsborough, 2006, DBSec.

Guest Editorial for the Special Issue on Model‐Based Testing

Gordon Fraser, Franz Wotawa, Paul Ammann, 2012, Softw. Test. Verification Reliab..

Specification transformation and semantic expansion to support automated testing

Paul Ammann, Mark Richard Blackburn, 1998 .

Implementing Semantic-Based Decomposition of Transactions

Sushil Jajodia, Indrakshi Ray, Paul Ammann, 1997, CAiSE.

Propagation of authorizations in distributed database systems

Sushil Jajodia, Pierangela Samarati, Paul Ammann, 1994, CCS '94.

Distributed timestamp generation in planar lattice networks

Sushil Jajodia, Paul Ammann, 1993, TOCS.

Towards mutation analysis of Android apps

A. Jefferson Offutt, Paul Ammann, Lin Deng, 2015, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Testing with model checkers: a survey

Gordon Fraser, Franz Wotawa, Paul Ammann, 2009, Softw. Test. Verification Reliab..

Using a model checker to test safety properties

Wei Ding, Paul Ammann, Daling Xu, 2001, Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems.

Model Checkers in Software Testing

Wei Ding, Paul Ammann, Paul E. Black, 2002 .

Adding Criteria-Based Tests to Test Driven Development

A. Jefferson Offutt, Paul Ammann, William Shelton, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

Coverage Criteria for State Based Specifications

A. Jefferson Offutt, Paul Ammann, Wuzhi Xu, 2008, Formal Methods and Testing.

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

Paul Ammann, Garrett Kent Kaminski, 2009, 2009 International Conference on Software Testing Verification and Validation.

Planar Lattice Security Structures for Multilevel Replicated Databases

Sushil Jajodia, Paul Ammann, S. Jajodia, 1993, DBSec.

A Semantic-Based Transaction Processing Model for Multilevel Transactions

Sushil Jajodia, Indrakshi Ray, Paul Ammann, 1998, J. Comput. Secur..

Can-Follow Concurrency Control

Jie Li, Sushil Jajodia, Peng Liu, 2007, IEEE Transactions on Computers.

Implementing transaction control expressions by checking for absence of access rights

Ravi S. Sandhu, Paul Ammann, 1992, [1992] Proceedings Eighth Annual Computer Security Application Conference.

A fault tolerance approach to survivability

Sushil Jajodia, Peng Liu, Paul Ammann, 1998, Proceedings Computer Security, Dependability, and Assurance: From Needs to Solutions (Cat. No.98EX358).

Introduction to Software Testing: Introduction

Paul Ammann, Jeff Offutt, 2008 .

Coverage criteria for logical expressions

A. Jefferson Offutt, Paul Ammann, Hong Huang, 2003, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003..

Surviving information warfare attacks on databases

Sushil Jajodia, Paul Ammann, Barbara T. Blaustein, 1997, Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097).

A safety kernel for traffic light control

Paul Ammann, 1996 .

Surviving Information Warfare Attacks

Sushil Jajodia, Paul Ammann, Catherine D. McCollum, 1999, Computer.

One-representative safety analysis in the non-monotonic transform model

Ravi S. Sandhu, Paul Ammann, 1994, Proceedings The Computer Security Foundations Workshop VII.

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

Jing Guan, A. Jefferson Offutt, Paul Ammann, 2006, ISESE '06.

Maintaining Replicated Authorizations in Distributed Database Systems

Sushil Jajodia, Pierangela Samarati, Paul Ammann, 1996, Data Knowl. Eng..

Recovery from Malicious Transactions

Sushil Jajodia, Peng Liu, Paul Ammann, 2002, IEEE Trans. Knowl. Data Eng..

Introduction to Software Testing: Practical Considerations

Paul Ammann, Jeff Offutt, 2008 .

A weakest-adversary security metric for network configuration security analysis

Sushil Jajodia, Vipin Swarup, Paul Ammann, 2006, QoP '06.

Globally Consistent Event Ordering in One-Directional Distributed Environments

Sushil Jajodia, Paul Ammann, Phyllis G. Frankl, 1996, IEEE Trans. Parallel Distributed Syst..

Static analysis of mutant subsumption

A. Jefferson Offutt, Paul Ammann, Bob Kurtz, 2015, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Issues in using model checkers for test case generation

Gordon Fraser, Franz Wotawa, Paul Ammann, 2009, J. Syst. Softw..

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

A. Jefferson Offutt, Paul Ammann, Nan Li, 2011, 2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T).

Using model checking to analyze network vulnerabilities

Paul Ammann, Ronald W. Ritchey, P. Ammann, 2000, Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000.

Rethinking integrity [distributed databases]

Sushil Jajodia, Paul Ammann, 1997, IEEE Concurrency.

Reducing logic test set size while preserving fault detection

Paul Ammann, Garrett Kent Kaminski, 2011, Softw. Test. Verification Reliab..

A distributed implementation of the extended schematic protection model

Ravi S. Sandhu, Paul Ammann, Gurpreet S. Suri, 1991, Proceedings Seventh Annual Computer Security Applications Conference.

Introduction to Software Testing: Challenges in Testing Software

Paul Ammann, Jeff Offutt, 2008 .

Appreciation to Empirical Software Engineering Reviewers of 2018

Lefteris Angelis, Apostolos Ampatzoglou, Sousuke Amasaki, 2019, Empirical Software Engineering.

Extending the creation operation in the Schematic Protection Model

Ravi S. Sandhu, Paul Ammann, 1990, [1990] Proceedings of the Sixth Annual Computer Security Applications Conference.

Safety analysis for the extended schematic protection model

Ravi S. Sandhu, Paul Ammann, 1991, Proceedings. 1991 IEEE Computer Society Symposium on Research in Security and Privacy.

The Extended Schematic Protection Model

Ravi S. Sandhu, Paul Ammann, 1992, J. Comput. Secur..

Using formal methods to derive test frames in category-partition testing

Paul Ammann, Jeff Offutt, P. Ammann, 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.

Computer Security, Fault Tolerance, And Software Assurance

Sushil Jajodia, Paul Ammann, 1999, IEEE Concurrency.

Data diversity: An approach to fault-tolerant software

Paul Ammann, John C. Knight, J. Knight, 1986 .

Generating test data from state‐based specifications

Shaoying Liu, A. Jefferson Offutt, Paul Ammann, 2003, Softw. Test. Verification Reliab..

A specification-based coverage metric to evaluate test sets

Paul Ammann, Paul E. Black, P. Ammann, 1999, Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering.

Engineering Criteria for Technologies

Paul Ammann, Jeff Offutt, 2008 .

Ensuring atomicity of multilevel transactions

Sushil Jajodia, Indrakshi Ray, Paul Ammann, 1996, Proceedings 1996 IEEE Symposium on Security and Privacy.

Inferring mutant utility from program context

René Just, Paul Ammann, Bob Kurtz, 2017, ISSTA.

Attack graphs: scalable construction and analysis

Sushil Jajodia, Paul Ammann, Joseph Pamula, 2007 .

Scalable, graph-based network vulnerability analysis

Duminda Wijesekera, Paul Ammann, Saket Kaushik, 2002, CCS '02.

Introduction to Software Testing: List of Criteria

Paul Ammann, Jeff Offutt, 2008 .

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

A. Jefferson Offutt, Paul Ammann, Garrett Kent Kaminski, 2010, Software Engineering Research and Practice.

A host-based approach to network attack chaining analysis

Paul Ammann, Julie A. Street, Ronald W. Ritchey, 2005, 21st Annual Computer Security Applications Conference (ACSAC'05).

Policy-based dissemination of partial web-ontologies

Duminda Wijesekera, Paul Ammann, Saket Kaushik, 2005, SWS '05.

PARAMETER VALIDATION USING CONSTRAINT OPTIMIZATION FOR MODELING AND SIMULATION | NIST

Charles R. McLean, Paul Ammann, Alexander Brodsky, 2009 .

BPEL orchestration of secure webmail

Duminda Wijesekera, Paul Ammann, Saket Kaushik, 2006, SWS '06.

On the performance of software testing using multiple versions

Paul Ammann, John C. Knight, Susan S. Brilliant, 1990, [1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium.

Abstracting formal specifications to generate software tests via model checking

Paul Ammann, Paul E. Black, 1999, Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033).

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

Sushil Jajodia, Paul Ammann, Frank Jaeckle, 1992, Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy.

Issues Influencing the Use of N-Version Programming

Paul Ammann, John C. Knight, J. Knight, 1989, IFIP Congress.

Better predicate testing

A. Jefferson Offutt, Paul Ammann, Gary Kaminski, 2011, AST '11.

Generating Test Data to Distinguish Conjunctive Queries with Equalities

Paul Ammann, Alexander Brodsky, Preetham Vemasani, 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops.

Guiding Testing Effort Using Mutant Utility

René Just, Huzefa Rangwala, Paul Ammann, 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).

A Novel Self-Paced Model for Teaching Programming

A. Jefferson Offutt, Huzefa Rangwala, Sanjeev Setia, 2017, L@S.

A logic mutation approach to selective mutation for programs and queries

A. Jefferson Offutt, Paul Ammann, Garrett Kent Kaminski, 2011, Inf. Softw. Technol..

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

Michael D. Ernst, René Just, Paul Ammann, 2020, 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Design fault tolerance

Paul Ammann, John C. Knight, J. Knight, 1991 .

Using the B-toolkit to ensure safety in SCR specifications

Indrakshi Ray, Paul Ammann, 1997, Proceedings of COMPASS '97: 12th Annual Conference on Computer Assurance.

Test Generation and Recognition with Formal Methods

Paul Ammann, Paul E. Black, P. Ammann, 2000 .

Designing Deletion Mutation Operators

A. Jefferson Offutt, Paul Ammann, Márcio Eduardo Delamaro, 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation.

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

Sushil Jajodia, Paul Ammann, Frank Jaeckle, 1995, J. Comput. Secur..

Introduction to Software Testing

A. Jefferson Offutt, Paul Ammann, A. Offutt, 2008 .

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

Alireza Sadeghi, Sam Malek, Joshua Garcia, 2015, 2015 IEEE/ACM 4th International Workshop on Green and Sustainable Software.

Mutant Subsumption Graphs

A. Jefferson Offutt, Paul Ammann, Bob Kurtz, 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops.

Mutation operators for testing Android apps

A. Jefferson Offutt, Paul Ammann, Lin Deng, 2017, Inf. Softw. Technol..

Relating counterexamples to test cases in CTL model checking specifications

Gordon Fraser, Duminda Wijesekera, Paul Ammann, 2007, A-MOST '07.

Trusted Recovery from Information Attacks

Sushil Jajodia, Peng Liu, Paul Ammann, 2001 .

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

Duminda Wijesekera, Paul Ammann, William H. Winsborough, 2005, FMSE '05.

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

A. Jefferson Offutt, Paul Ammann, Hassan Gomaa, 1994, CSEE.

An experimental evaluation of simple methods for seeding program errors

Paul Ammann, John C. Knight, J. Knight, 1985, ICSE '85.

Building Testing Tools

Paul Ammann, Jeff Offutt, 2008 .

On-The-Fly Reading of Entire Databases

Sushil Jajodia, Paul Ammann, P. Mavuluri, 1995, IEEE Trans. Knowl. Data Eng..

Reconciling perspectives of software logic testing

Paul Ammann, Garrett Kent Kaminski, Gregory Williams, 2008 .

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

Paul Ammann, John C. Knight, Susan S. Brilliant, 1992, IEEE Trans. Software Eng..

Improving logic-based testing

A. Jefferson Offutt, Paul Ammann, Gary Kaminski, 2013, J. Syst. Softw..

The expressive power of multi-parent creation in monotonic access control models

Richard J. Lipton, Ravi S. Sandhu, Paul Ammann, 1992, [1992] Proceedings The Computer Security Foundations Workshop V.

A safety kernel for traffic light control

Paul Ammann, 1995, COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'.

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

A. Jefferson Offutt, Paul Ammann, Bob Kurtz, 2016, 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Data Diversity: An Approach to Software Fault Tolerance

Paul Ammann, John C. Knight, J. Knight, 1988, IEEE Trans. Computers.

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

Paul Ammann, Garrett Kent Kaminski, 2009, 2009 International Conference on Software Testing Verification and Validation.

System testing via mutation analysis of model checking specifications

Paul Ammann, 2000, SOEN.

Applying data redundancy to differential equation solvers

Paul Ammann, John C. Knight, Dahlard L. Lukes, 1997, Ann. Softw. Eng..

Introduction to Software Testing: Bibliography

Paul Ammann, Jeff Offutt, 2008 .

Rewriting Histories: Recovering from Malicious Transactions

Sushil Jajodia, Peng Liu, Paul Ammann, 2004, Distributed and Parallel Databases.

The Effectiveness of Data Diversity As An Error DetectionMechanism

Paul Ammann, John C. Knight, Steven J. Santos, 1991 .

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

Sushil Jajodia, Paul Ammann, S. Jajodia, 1991, DBSec.

Establishing Theoretical Minimal Sets of Mutants

A. Jefferson Offutt, Paul Ammann, Márcio Eduardo Delamaro, 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation.

Analyzing the validity of selective mutation with dominator mutants

A. Jefferson Offutt, Paul Ammann, Bob Kurtz, 2016, SIGSOFT FSE.

Evaluating a Test Automation Decision Support Tool

Paul Ammann, Kesina Baral, Rasika Mohod, 2019, 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

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

Sushil Jajodia, Indrakshi Ray, Paul Ammann, 1995, VLDB.

Semantic-Based Decomposition of Transactions

Sushil Jajodia, Indrakshi Ray, Paul Ammann, 1997, Advanced Transaction Models and Architectures.

Evaluation of three specification-based testing criteria

A. Jefferson Offutt, Wei Ding, Paul Ammann, 2000, Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000.

The Partitioned Synchronization Rule for Planar Extendible Partial Orders

Sushil Jajodia, Vijayalakshmi Atluri, Paul Ammann, 1995, IEEE Trans. Knowl. Data Eng..

Syntax-Based Testing

Paul Ammann, Jeff Offutt, 2008 .

Barriers to Usable Security? Three Organizational Case Studies

Shari Lawrence Pfleeger, M. Angela Sasse, A. Jefferson Offutt, 2016, IEEE Security & Privacy.

Reconciling perspectives of software logic testing

Paul Ammann, Garrett Kent Kaminski, Gregory Williams, 2008, Softw. Test. Verification Reliab..

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

Paul Ammann, Garrett Kent Kaminski, 2009, 2009 International Conference on Software Testing, Verification, and Validation Workshops.

Using Z specifications in category partition testing

Paul Ammann, Nina Amla, Nina Amla, 1992, COMPASS `92 Proceedings of the Seventh Annual Conference on Computer Assurance.

Trusted recovery

Sushil Jajodia, Paul Ammann, Catherine D. McCollum, 1999, CACM.

Reachability and Propagation for LTL Requirements Testing

Gordon Fraser, Paul Ammann, 2008, 2008 The Eighth International Conference on Quality Software.

Maintaining knowledge currency in the 21st century

A. Jefferson Offutt, Paul Ammann, 1997, Proceedings Tenth Conference on Software Engineering Education and Training.

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

Sushil Jajodia, Indrakshi Ray, Paul Ammann, 2000, Inf. Sci..

An efficient multiversion algorithm for secure servicing of transaction reads

Sushil Jajodia, Paul Ammann, 1994, CCS '94.

A policy driven approach to email services

Duminda Wijesekera, Paul Ammann, William H. Winsborough, 2004, Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004..

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

Sushil Jajodia, Paul Ammann, Ronald W. Ritchey, 2006, SWS '06.

An experimental evaluation of error seeding as a program validation technique

Paul Ammann, John C. Knight, 1985 .

Practice makes better: quiz retake software to increase student learning

A. Jefferson Offutt, Paul Ammann, Kesina Baral, 2021, EASEAI@ESEC/SIGSOFT FSE.

Using Formal Methods To Mechanize Category-Partition Testing

Paul Ammann, Je O utt, 1993 .

Automating Bypass Testing for Web Applications Automating Bypass Testing for Web Applications List of Tables List of Figures Abstract Automating Bypass Testing for Web Applications Chapter 1: Introduction Chapter 2: Types of Client Input Validation 2.1 Html Validation

Paul Ammann, Jeff Offutt, Emmanuel Spyridakis, .