| Introduction to software testing P Ammann, J Offutt Cambridge University Press, 2016 | 2022 | 2016 |
| Scalable, graph-based network vulnerability analysis P Ammann, D Wijesekera, S Kaushik Proceedings of the 9th ACM Conference on Computer and Communications …, 2002 | 1030 | 2002 |
| Using model checking to analyze network vulnerabilities RW Ritchey, P Ammann Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000, 156-165, 2000 | 621 | 2000 |
| Using model checking to generate tests from specifications PE Ammann, PE Black, W Majurski Proceedings Second International Conference on Formal Engineering Methods …, 1998 | 488 | 1998 |
| Data diversity: An approach to software fault tolerance PE Ammann, JC Knight Ieee transactions on computers 37 (4), 418-425, 1988 | 477 | 1988 |
| Generating test data from state‐based specifications J Offutt, S Liu, A Abdurazik, P Ammann Software testing, verification and reliability 13 (1), 25-53, 2003 | 469 | 2003 |
| Software testing and quality assurance: theory and practice K Naik, P Tripathy John Wiley & Sons, 2011 | 346 | 2011 |
| Testing with model checkers: a survey G Fraser, F Wotawa, PE Ammann Software Testing, Verification and Reliability 19 (3), 215-261, 2009 | 267 | 2009 |
| Recovery from malicious transactions P Ammann, S Jajodia, P Liu IEEE transactions on knowledge and data engineering 14 (5), 1167-1185, 2002 | 211 | 2002 |
| A weakest-adversary security metric for network configuration security analysis J Pamula, S Jajodia, P Ammann, V Swarup Proceedings of the 2nd ACM workshop on Quality of protection, 31-38, 2006 | 206 | 2006 |
| Using formal methods to derive test frames in category-partition testing P Ammann, J Offutt Proceedings of COMPASS'94-1994 IEEE 9th Annual Conference on Computer …, 1994 | 181 | 1994 |
| A specification-based coverage metric to evaluate test sets PE Ammann, PE Black International Journal of Reliability, Quality and Safety Engineering 8 (04 …, 2001 | 174 | 2001 |
| Establishing theoretical minimal sets of mutants P Ammann, ME Delamaro, J Offutt 2014 IEEE seventh international conference on software testing, verification …, 2014 | 153 | 2014 |
| Surviving information warfare attacks on databases P Ammann, S Jajodia, CD McCollum, BT Blaustein Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No. 97CB36097 …, 1997 | 146 | 1997 |
| A host-based approach to network attack chaining analysis P Ammann, J Pamula, R Ritchey, J Street 21st Annual Computer Security Applications Conference (ACSAC'05), 10 pp.-84, 2005 | 133 | 2005 |
| Coverage criteria for logical expressions P Ammann, J Offutt, H Huang 14th International Symposium on Software Reliability Engineering, 2003 …, 2003 | 132 | 2003 |
| Rewriting histories: Recovering from malicious transactions P Liu, P Ammann, S Jajodia Security of Data and Transaction Processing, 7-40, 2000 | 124 | 2000 |
| Improving logic-based testing G Kaminski, P Ammann, J Offutt Journal of Systems and Software 86 (8), 2002-2012, 2013 | 79 | 2013 |
| Using a model checker to test safety properties P Ammann, W Ding, D Xu Proceedings Seventh IEEE International Conference on Engineering of Complex …, 2001 | 77 | 2001 |
| Mutation operators for testing Android apps L Deng, J Offutt, P Ammann, N Mirzaei Information and Software Technology 81, 154-168, 2017 | 74 | 2017 |
