Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Paul Ammann
2010 – today
- 2012
[j27]Paul Ammann, Gordon Fraser, Franz Wotawa: Guest Editorial for the Special Issue on Model-Based Testing. Softw. Test., Verif. Reliab. 22(5): 295-296 (2012)- [c45]William Shelton, Nan Li, Paul Ammann, Jeff Offutt: Adding Criteria-Based Tests to Test Driven Development. ICST 2012: 878-886
- 2011
- [j26]Garrett Kent Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt: A logic mutation approach to selective mutation for programs and queries. Information & Software Technology 53(10): 1137-1152 (2011)
- [j25]Garrett Kent Kaminski, Paul Ammann: Reducing logic test set size while preserving fault detection. Softw. Test., Verif. Reliab. 21(3): 155-193 (2011)
- [c44]Jeff Offutt, Nan Li, Paul Ammann, Wuzhi Xu: Using abstraction and Web applications to teach criteria-based test design. CSEE&T 2011: 227-236
- 2010
- [c43]Garrett Kent Kaminski, Paul Ammann: Applications of Optimization to Logic Testing. ICST Workshops 2010: 331-336
- [c42]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: 205-211
- [c41]Garrett Kent Kaminski, Paul Ammann: Applying MCDC to Large DNF Logic Expressions. Software Engineering Research and Practice 2010: 411-417
2000 – 2009
- 2009
- [j24]Gordon Fraser, Franz Wotawa, Paul Ammann: Issues in using model checkers for test case generation. Journal of Systems and Software 82(9): 1403-1418 (2009)
- [j23]Gordon Fraser, Franz Wotawa, Paul Ammann: Testing with model checkers: a survey. Softw. Test., Verif. Reliab. 19(3): 215-261 (2009)
- [c40]Garrett Kent Kaminski, Paul Ammann: Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection. ICST Workshops 2009: 167-176
- [c39]Garrett Kent Kaminski, Paul Ammann: Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection. ICST 2009: 356-365
- [c38]Garrett Kent Kaminski, Paul Ammann: Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing. ICST 2009: 386-395
- 2008
- [b1]Paul Ammann, Jeff Offutt: Introduction to software testing. Cambridge University Press 2008, ISBN 978-0-521-88038-1, pp. I-XXII, 1-322
- [j22]Garrett Kent Kaminski, Gregory Williams, Paul Ammann: Reconciling perspectives of software logic testing. Softw. Test., Verif. Reliab. 18(3): 149-188 (2008)
- [c37]Paul Ammann, Jeff Offutt, Wuzhi Xu: Coverage Criteria for State Based Specifications. Formal Methods and Testing 2008: 118-156
- [c36]Gordon Fraser, Paul Ammann: Reachability and Propagation for LTL Requirements Testing. QSIC 2008: 189-198
- 2007
- [j21]Peng Liu, Jie Li, Sushil Jajodia, Paul Ammann: Can-Follow Concurrency Control. IEEE Trans. Computers 56(10): 1425-1430 (2007)
- [c35]Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser: Relating counterexamples to test cases in CTL model checking specifications. A-MOST 2007: 75-84
- 2006
- [c34]Joseph Pamula, Sushil Jajodia, Paul Ammann, Vipin Swarup: A weakest-adversary security metric for network configuration security analysis. QoP 2006: 31-38
- [c33]Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann: Policy Transformations for Preventing Leakage of Sensitive Information in Email Systems. DBSec 2006: 163-178
- [c32]Saket Kaushik, Csilla Farkas, Duminda Wijesekera, Paul Ammann: An Algebra for Composing Ontologies. FOIS 2006: 265-276
- [c31]Jing Guan, Jeff Offutt, Paul Ammann: An industrial case study of structural testing applied to safety-critical embedded software. ISESE 2006: 272-277
- [c30]Joseph Pamula, Paul Ammann, Sushil Jajodia, Ronald W. Ritchey: A framework for establishing, assessing, and managing trust in inter-organizational relationships. SWS 2006: 23-32
- [c29]Saket Kaushik, Duminda Wijesekera, Paul Ammann: BPEL orchestration of secure webmail. SWS 2006: 85-94
- 2005
- [c28]Paul Ammann, Joseph Pamula, Julie A. Street, Ronald W. Ritchey: A Host-Based Approach to Network Attack Chaining Analysis. ACSAC 2005: 72-84
- [c27]Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann: Email feedback: a policy-based approach to overcoming false positives. FMSE 2005: 73-82
- [c26]Saket Kaushik, Duminda Wijesekera, Paul Ammann: Policy-based dissemination of partial web-ontologies. SWS 2005: 43-52
- 2004
- [c25]Saket Kaushik, Paul Ammann, Duminda Wijesekera, William H. Winsborough, Ronald W. Ritchey: A Policy Driven Approach to Email Services. POLICY 2004: 169-
- 2003
- [j20]A. Jefferson Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann: Generating test data from state-based specifications. Softw. Test., Verif. Reliab. 13(1): 25-53 (2003)
- [c24]Paul Ammann, A. Jefferson Offutt, Hong Huang: Coverage Criteria for Logical Expressions. ISSRE 2003: 99-107
- 2002
- [j19]Paul Ammann, Sushil Jajodia, Peng Liu: Recovery from Malicious Transactions. IEEE Trans. Knowl. Data Eng. 14(5): 1167-1185 (2002)
- [c23]Paul Ammann, Duminda Wijesekera, Saket Kaushik: Scalable, graph-based network vulnerability analysis. ACM Conference on Computer and Communications Security 2002: 217-224
- 2001
- [c22]Paul Ammann, Wei Ding, Daling Xu: Using a Model Checker to Test Safety Properties. ICECCS 2001: 212-221
- 2000
- [j18]Peng Liu, Paul Ammann, Sushil Jajodia: Rewriting Histories: Recovering from Malicious Transactions. Distributed and Parallel Databases 8(1): 7-40 (2000)
- [j17]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): 155-195 (2000)
- [j16]Paul Ammann: System testing via mutation analysis of model checking specifications. ACM SIGSOFT Software Engineering Notes 25(1): 33 (2000)
- [c21]Aynur Abdurazik, Paul Ammann, Wei Ding, A. Jefferson Offutt: Evaluation of Three Specification-Based Testing Criteria. ICECCS 2000: 179-187
- [c20]Ronald W. Ritchey, Paul Ammann: Using Model Checking to Analyze Network Vulnerabilities. IEEE Symposium on Security and Privacy 2000: 156-165
1990 – 1999
- 1999
- [j15]Sushil Jajodia, Catherine D. McCollum, Paul Ammann: Trusted Recovery. Commun. ACM 42(7): 71-75 (1999)
- [j14]Sushil Jajodia, Paul Ammann, Catherine D. McCollum: Surviving Information Warfare Attacks. IEEE Computer 32(4): 57-63 (1999)
- [c19]Paul Ammann, Paul E. Black: A Specification-Based Coverage Metric to Evaluate Test Sets. HASE 1999: 239-248
- [c18]Peng Liu, Paul Ammann, Sushil Jajodia: Incorporating Transaction Semantics to Reduce Reprocessing Overhead in Replicated Mobile Data Applications. ICDCS 1999: 414-423
- [c17]
- 1998
- [j13]Indrakshi Ray, Paul Ammann, Sushil Jajodia: A Semantic-Based Transaction Processing Model for Multilevel Transactions. Journal of Computer Security 6(3): 181-217 (1998)
- [c16]Paul Ammann, Paul E. Black, William Majurski: Using Model Checking to Generate Tests from Specifications. ICFEM 1998: 46-
- 1997
- [j12]Paul Ammann, Dahlard L. Lukes, John C. Knight: Applying Data Redundancy to Differential Equation Solvers. Ann. Software Eng. 4: 65-77 (1997)
- [j11]Paul Ammann, Sushil Jajodia, Indrakshi Ray: Applying Formal Methods to Semantic-Based Decomposition of Transactions. ACM Trans. Database Syst. 22(2): 215-254 (1997)
- [p1]Paul Ammann, Sushil Jajodia, Indrakshi Ray: Semantic-Based Decomposition of Transactions. Advanced Transaction Models and Architectures 1997: 0-
- [c15]Sushil Jajodia, Indrakshi Ray, Paul Ammann: Implementing Semantic-Based Decomposition of Transactions. CAiSE 1997: 75-88
- [c14]Paul Ammann, Sushil Jajodia, Catherine D. McCollum, Barbara T. Blaustein: Surviving information warfare attacks on databases. IEEE Symposium on Security and Privacy 1997: 164-174
- 1996
- [j10]Pierangela Samarati, Paul Ammann, Sushil Jajodia: Maintaining Replicated Authorizations in Distributed Database Systems. Data Knowl. Eng. 18(1): 55-84 (1996)
- [j9]Paul Ammann, Richard J. Lipton, Ravi S. Sandhu: The Expressive Power of Multi-parent Creation in Monotonic Access Control Models. Journal of Computer Security 4(2/3): 149-166 (1996)
- [j8]Paul Ammann, Sushil Jajodia, Phyllis G. Frankl: Globally Consistent Event Ordering in One-Directional Distributed Environments. IEEE Trans. Parallel Distrib. Syst. 7(6): 665-670 (1996)
- [c13]Paul Ammann, Sushil Jajodia, Indrakshi Ray: Ensuring Atomicity of Multilevel Transactions. IEEE Symposium on Security and Privacy 1996: 74-84
- 1995
- [j7]Paul Ammann, Frank Jaeckle, Sushil Jajodia: Concurrency Control in a Secure Database via a Two-Snapshot Algorithm. Journal of Computer Security 3(2/3): 87-114 (1995)
- [j6]Paul Ammann, Vijayalakshmi Atluri, Sushil Jajodia: The Partitioned Synchronization Rule for Planar Extendible Partial Orders. IEEE Trans. Knowl. Data Eng. 7(5): 797-808 (1995)
- [j5]Paul Ammann, Sushil Jajodia, Padmaja Mavuluri: On-The-Fly Reading of Entire Databases. IEEE Trans. Knowl. Data Eng. 7(5): 834-838 (1995)
- [c12]Paul Ammann, Sushil Jajodia, Indrakshi Ray: Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions. VLDB 1995: 218-227
- 1994
- [j4]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): 142-148 (1994)
- [c11]Paul Ammann, Sushil Jajodia: An Efficient Multiversion Algorithm for Secure Servicing of Transaction Reads. ACM Conference on Computer and Communications Security 1994: 118-125
- [c10]Pierangela Samarati, Paul Ammann, Sushil Jajodia: Propagation of Authorizations in Distributed Database Systems. ACM Conference on Computer and Communications Security 1994: 136-147
- [c9]Paul Ammann, Hassan Gomaa, A. Jefferson Offutt, David Rine, Bo Sanden: A Five Year Perspective on Software Engineering Graduate Programs at George Mason University. CSEE 1994: 473-488
- [c8]Ravi S. Sandhu, Paul Ammann: One-Representative Safety Analysis in the Non-Monotonic Transform Model. CSFW 1994: 139-149
- 1993
- [j3]Paul Ammann, Sushil Jajodia: Distributed Timestamp Generation in Planar Lattice Networks. ACM Trans. Comput. Syst. 11(3): 205-225 (1993)
- [c7]Paul Ammann, Sushil Jajodia: Planar Lattice Security Structures for Multilevel Replicated Databases. DBSec 1993: 125-134
- 1992
- [j2]Paul Ammann, Ravi S. Sandhu: The Extended Schematic Protection Model. Journal of Computer Security 1(3-4): 335-384 (1992)
- [c6]Paul Ammann, Richard J. Lipton, Ravi S. Sandhu: The Expressive Power of Multi-Parent Creation in a Monotonic Access Control Model. CSFW 1992: 148-156
- 1991
- [c5]Paul Ammann, Sushil Jajodia: A Timestamp Ordering Algorithm for Secure, Single-Version, Multi-Level Databases. DBSec 1991: 191-202
- [c4]Paul Ammann, Ravi S. Sandhu: Safety Analysis for the Extended Schematic Protection Model. IEEE Symposium on Security and Privacy 1991: 87-97
- 1990
- [c3]Susan S. Brilliant, John C. Knight, Paul Ammann: On the performance of software testing using multiple versions. FTCS 1990: 408-415
1980 – 1989
- 1989
- [c2]John C. Knight, Paul Ammann: Issues Influencing the Use of N-Version Programming. IFIP Congress 1989: 217-222
- 1988
- [j1]Paul Ammann, John C. Knight: Data Diversity: An Approach to Software Fault Tolerance. IEEE Trans. Computers 37(4): 418-425 (1988)
- 1985
- [c1]John C. Knight, Paul Ammann: An Experimental Evaluation of Simple Methods for Seeding Program Errors. ICSE 1985: 337-342
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-17 21:46 CEST by the dblp team