![]() | ![]() |
Jeff Offutt
List of publications from the DBLP Bibliography Server - FAQ
2008 | ||
---|---|---|
95 | EE | Paul Ammann, Jeff Offutt, Wuzhi Xu: Coverage Criteria for State Based Specifications. Formal Methods and Testing 2008: 118-156 |
94 | EE | Jeff Offutt: Programmers Ain't Mathematicians, and Neither Are Testers. ICFEM 2008: 2 |
93 | EE | Birgitta Lindström, A. Jefferson Offutt, Sten F. Andler: Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications. ICST 2008: 112-120 |
92 | EE | Jeff Offutt, Qingxiang Wang, Joann J. Ordille: An Industrial Case Study of Bypass Testing on Web Applications. ICST 2008: 465-474 |
91 | EE | Supaporn Kansomkeat, Jeff Offutt, Aynur Abdurazik, Andrea Baldini: A Comparative Evaluation of Tests Generated from Different UML Diagrams. SNPD 2008: 867-872 |
90 | EE | Jeff Offutt: Editorial: The journal impact factor. Softw. Test., Verif. Reliab. 18(1): 1-3 (2008) |
89 | EE | Jeff Offutt: Editorial: Science Fiction and Fantasy. Softw. Test., Verif. Reliab. 18(3): 123-124 (2008) |
88 | EE | Jeff Offutt: Editorial: Software testing is an elephant. Softw. Test., Verif. Reliab. 18(4): 191-192 (2008) |
2007 | ||
87 | EE | Mats Grindal, Jeff Offutt, Jonas Mellin: Managing Conflicts When Using Combination Strategies to Test Software. ASWEC 2007: 255-264 |
86 | Mohammad Abu-Matar, A. Jefferson Offutt: Service Oriented Architecture Empirical Study. SEKE 2007: 628-631 | |
85 | EE | Martin R. Woodward, Jeff Offutt: Editorial: Reflections on the past, present and future. Softw. Test., Verif. Reliab. 17(1): 1-2 (2007) |
84 | EE | Jeff Offutt: Editorial: Introduction and plans for the future. Softw. Test., Verif. Reliab. 17(2): 59-60 (2007) |
83 | EE | Jeff Offutt: Editorial: Standards for reviewing papers. Softw. Test., Verif. Reliab. 17(3): 135-136 (2007) |
82 | EE | Jeff Offutt: Editorial: Why should I review papers? Softw. Test., Verif. Reliab. 17(4): 205-206 (2007) |
2006 | ||
81 | EE | Yu-Seung Ma, Jeff Offutt, Yong Rae Kwon: MuJava: a mutation system for java. ICSE 2006: 827-830 |
80 | EE | Jing Guan, Jeff Offutt, Paul Ammann: An industrial case study of structural testing applied to safety-critical embedded software. ISESE 2006: 272-277 |
79 | EE | Mats Grindal, Jeff Offutt, Jonas Mellin: On the Testing Maturity of Software Producing Organizations. TAIC PART 2006: 171-180 |
78 | EE | Robert Nilsson, Jeff Offutt, Jonas Mellin: Test Case Generation for Mutation-based Testing of Timeliness. Electr. Notes Theor. Comput. Sci. 164(4): 97-114 (2006) |
77 | EE | Jane Huffman Hayes, Jeff Offutt: Input validation analysis and testing. Empirical Software Engineering 11(4): 493-522 (2006) |
76 | EE | Mats Grindal, Birgitta Lindström, Jeff Offutt, Sten F. Andler: An evaluation of combination strategies for test case selection. Empirical Software Engineering 11(4): 583-611 (2006) |
75 | EE | Liguo Yu, Stephen R. Schach, Kai Chen, Gillian Z. Heller, A. Jefferson Offutt: Maintainability of the kernels of open-source operating systems: A comparison of Linux with FreeBSD, NetBSD, and OpenBSD. Journal of Systems and Software 79(6): 807-815 (2006) |
74 | EE | Lee White, Jeff Offutt, Derek Yates, Robert M. Hierons, Michael A. Hennell, Peter Mitchell: A Tribute to Martin Woodward. Softw. Test., Verif. Reliab. 16(4): 209-211 (2006) |
73 | EE | Leonard Gallagher, Jeff Offutt, Anthony Cincotta: Integration testing of object-oriented components using finite state machines. Softw. Test., Verif. Reliab. 16(4): 215-266 (2006) |
2005 | ||
72 | Supaporn Kansomkeat, Jeff Offutt, Wanchai Rivepiboon: Increasing Class-Component Testability. IASTED Conf. on Software Engineering 2005: 156-161 | |
71 | EE | Wuzhi Xu, Jeff Offutt, Juan Luo: Testing Web Services by XML Perturbation. ISSRE 2005: 257-266 |
70 | EE | Yu-Seung Ma, Jeff Offutt, Yong Rae Kwon: MuJava: an automated class mutation system. Softw. Test., Verif. Reliab. 15(2): 97-133 (2005) |
69 | EE | Mats Grindal, Jeff Offutt, Sten F. Andler: Combination testing strategies: a survey. Softw. Test., Verif. Reliab. 15(3): 167-199 (2005) |
68 | EE | Anneliese Amschler Andrews, Jeff Offutt, Roger T. Alexander: Testing Web applications by modeling with FSMs. Software and System Modeling 4(3): 326-345 (2005) |
2004 | ||
67 | EE | Robert Nilsson, Jeff Offutt, Sten F. Andler: Mutation-Based Testing Criteria for Timeliness. COMPSAC 2004: 306-311 |
66 | EE | Jeff Offutt, Ye Wu, Xiaochen Du, Hong Huang: Web Application Bypass Testing. COMPSAC Workshops 2004: 106-109 |
65 | EE | Jeff Offutt, Ye Wu, Xiaochen Du, Hong Huang: Bypass Testing of Web Applications. ISSRE 2004: 187-197 |
64 | EE | Jeff Offutt, Wuzhi Xu: Generating test cases for web services using data perturbation. ACM SIGSOFT Software Engineering Notes 29(5): 1-10 (2004) |
63 | EE | Jeff Offutt, Yuan Yang, Jane Huffman Hayes: SEEWeb: making experimental artifacts available. ACM SIGSOFT Software Engineering Notes 29(5): 1-3 (2004) |
62 | EE | Birgitta Lindström, Mats Grindal, A. Jefferson Offutt: Using an existing suite of test objects: experience from a testing experiment. ACM SIGSOFT Software Engineering Notes 29(5): 1-3 (2004) |
61 | EE | Jeff Offutt, Yu-Seung Ma, Yong Rae Kwon: An experimental mutation system for Java. ACM SIGSOFT Software Engineering Notes 29(5): 1-4 (2004) |
60 | EE | Kai Chen, Stephen R. Schach, Liguo Yu, A. Jefferson Offutt, Gillian Z. Heller: Open-Source Change Logs. Empirical Software Engineering 9(3): 197-210 (2004) |
59 | EE | Liguo Yu, Stephen R. Schach, Kai Chen, A. Jefferson Offutt: Categorization of Common Coupling and Its Application to the Maintainability of the Linux Kernel. IEEE Trans. Software Eng. 30(10): 694-706 (2004) |
58 | EE | Roger T. Alexander, A. Jefferson Offutt: Coupling-based Testing of O-O Programs. J. UCS 10(4): 391-427 (2004) |
2003 | ||
57 | EE | Ye Wu, Jeff Offutt: Maintaining Evolving Component-Based Software with UML. CSMR 2003: 133-142 |
56 | EE | Ye Wu, Mei-Hwa Chen, Jeff Offutt: UML-Based Integration Testing for Component-Based Software. ICCBSS 2003: 251-260 |
55 | EE | Paul Ammann, A. Jefferson Offutt, Hong Huang: Coverage Criteria for Logical Expressions. ISSRE 2003: 99-107 |
54 | EE | Stephen R. Schach, Bo Jin, Liguo Yu, Gillian Z. Heller, A. Jefferson Offutt: Determining the Distribution of Maintenance Categories: Survey versus Measurement. Empirical Software Engineering 8(4): 351-365 (2003) |
53 | EE | 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) |
52 | EE | Stephen R. Schach, Bo Jin, David R. Wright, Gillian Z. Heller, A. Jefferson Offutt: Quality Impacts of Clandestine Common Coupling. Software Quality Journal 11(3): 211-218 (2003) |
2002 | ||
51 | EE | Lisa K. Ferrett, Jeff Offutt: An Empirical Comparison of Modularity of Procedural and Object-oriented Software. ICECCS 2002: 173-182 |
50 | EE | Roger T. Alexander, Jeff Offutt, James M. Bieman: Syntactic Fault Patterns in OO Programs. ICECCS 2002: 193-202 |
49 | EE | Roger T. Alexander, Jeff Offutt, James M. Bieman: Fault Detection Capabilities of Coupling-based OO Testing. ISSRE 2002: 207-220 |
48 | EE | Yu-Seung Ma, Yong Rae Kwon, Jeff Offutt: Inter-Class Mutation Operators for Java. ISSRE 2002: 352-366 |
47 | Stephen R. Schach, Bo Jin, David R. Wright, Gillian Z. Heller, A. Jefferson Offutt: Maintainability of the Linux kernel. IEE Proceedings - Software 149(1): 18-23 (2002) | |
46 | EE | A. Jefferson Offutt: Quality Attributes of Web Software Applications. IEEE Software 19(2): 25-32 (2002) |
2001 | ||
45 | EE | Suet Chun Lee, Jeff Offutt: Generating Test Cases for XML-Based Web Component Interactions Using Mutation Analysis. ISSRE 2001: 200-209 |
44 | EE | Zhenyi Jin, Jeff Offutt: Deriving Tests From Software Architectures. ISSRE 2001: 308-313 |
43 | EE | Jeff Offutt, Roger T. Alexander, Ye Wu, Quansheng Xiao, Chuck Hutchinson: A Fault Model for Subtype Inheritance and Polymorphism. ISSRE 2001: 84-95 |
42 | Peter J. Denning, Ravi Athale, Nada Dabbagh, Daniel A. Menascé, Jeff Offutt, J. Mark Pullen, Steve Ruth, Ravi S. Sandhu: Designing an IT College. WCCE 2001: 541-550 | |
2000 | ||
41 | EE | A. Jefferson Offutt, Aynur Abdurazik, Roger T. Alexander: An Analysis Tool for Coupling-Based Integration Testing. ICECCS 2000: 172-178 |
40 | EE | Aynur Abdurazik, Paul Ammann, Wei Ding, A. Jefferson Offutt: Evaluation of Three Specification-Based Testing Criteria. ICECCS 2000: 179-187 |
39 | EE | Roger T. Alexander, A. Jefferson Offutt: Criteria for Testing Polymorphic Relationships. ISSRE 2000: 15-23 |
38 | EE | Michelle Lee, A. Jefferson Offutt, Roger T. Alexander: Algorithmic Analysis of the Impacts of Changes to Object-Oriented Software. TOOLS (34) 2000: 61-70 |
37 | EE | Aynur Abdurazik, A. Jefferson Offutt: Using UML Collaboration Diagrams for Static Checking and Test Generation. UML 2000: 383-395 |
1999 | ||
36 | EE | A. Jefferson Offutt, Yiwei Xiong, Shaoying Liu: Criteria for Generating Specification-Based Tests. ICECCS 1999: 119- |
35 | EE | Roger T. Alexander, A. Jefferson Offutt: Analysis Techniques for Testing Polymorphic Relationships. TOOLS (30) 1999: 104- |
34 | A. Jefferson Offutt, Aynur Abdurazik: Generating Tests from UML Specifications. UML 1999: 416-429 | |
33 | EE | A. Jefferson Offutt, Shaoying Liu: Generating test data from SOFL specifications. Journal of Systems and Software 49(1): 49-62 (1999) |
32 | A. Jefferson Offutt, Zhenyi Jin, Jie Pan: The Dynamic Domain Reduction Procedure for Test Data Generation. Softw., Pract. Exper. 29(2): 167-193 (1999) | |
1998 | ||
31 | EE | Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba: SOFL: A Formal Engineering Methodology for Industrial Applications. IEEE Trans. Software Eng. 24(1): 24-45 (1998) |
30 | Zhenyi Jin, A. Jefferson Offutt: Coupling-based Criteria for Integration Testing. Softw. Test., Verif. Reliab. 8(3): 133-154 (1998) | |
1997 | ||
29 | Mary Jean Harrold, A. Jefferson Offutt, Kanupriya Tewary: An Approach to Fault Modeling and Fault Seeding Using the Program Dependence Graph. Journal of Systems and Software 36(3): 273-295 (1997) | |
28 | A. Jefferson Offutt, Jie Pan: Automatically Detecting Equivalent Mutants and Infeasible Paths. Softw. Test., Verif. Reliab. 7(3): 165-192 (1997) | |
1996 | ||
27 | EE | Zhenyi Jin, A. Jefferson Offutt: Coupling-based Integration Testing. ICECCS 1996: 10-17 |
26 | EE | Li Li, A. Jefferson Offutt: Algorithmic Analysis of the Impact of Changes to Object-Oriented Software. ICSM 1996: 171-184 |
25 | EE | A. Jefferson Offutt, Jane Huffman Hayes: A Semantic Model of Program Faults. ISSTA 1996: 195-200 |
24 | EE | A. Jefferson Offutt, Ammei Lee, Gregg Rothermel, Roland H. Untch, Christian Zapf: An Experimental Determination of Sufficient Mutant Operators. ACM Trans. Softw. Eng. Methodol. 5(2): 99-118 (1996) |
23 | A. Jefferson Offutt, Jie Pan, Kanupriya Tewary, Tong Zhang: An Experimental Evaluation of Data Flow and Mutation Testing. Softw., Pract. Exper. 26(2): 165-176 (1996) | |
1994 | ||
22 | 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 | |
21 | A. Jefferson Offutt: A Practical System for Mutation Testing: Help for the Common Programmer. ITC 1994: 824-830 | |
20 | EE | A. Jefferson Offutt, Stephen D. Lee: An Empirical Evaluation of Weak Mutation. IEEE Trans. Software Eng. 20(5): 337-344 (1994) |
19 | EE | A. Jefferson Offutt, Stephen D. Lee: Correction to ``An Empirical Evaluation of Weak Mutation''. IEEE Trans. Software Eng. 20(9): 748 (1994) |
18 | A. Jefferson Offutt, W. M. Craft: Using Compiler Optimization Techniques to Detect Equivalent Mutants. Softw. Test., Verif. Reliab. 4(3): 131-154 (1994) | |
1993 | ||
17 | EE | A. Jefferson Offutt, Gregg Rothermel, Christian Zapf: An Experimental Evaluation of Selective Mutation. ICSE 1993: 100-107 |
16 | EE | Roland H. Untch, A. Jefferson Offutt, Mary Jean Harrold: Mutation Analysis Using Mutant Schemata. ISSTA 1993: 139-148 |
15 | EE | Richard A. DeMillo, A. Jefferson Offutt: Experimental Results from an Automatic Test Case Generator. ACM Trans. Softw. Eng. Methodol. 2(2): 109-127 (1993) |
14 | EE | A. Jefferson Offutt, Mary Jean Harrold, Priyadarshan Kolte: A software metric system for module coupling. Journal of Systems and Software 20(3): 295-308 (1993) |
1992 | ||
13 | Roland H. Untch, A. Jefferson Offutt: Integrating Research, Reuse, and Integration into Software Engineering Course. CSEE 1992: 88-98 | |
12 | A. Jefferson Offutt, Roy P. Pargas, Scott V. Fichter, Prashant K. Khambekar: Mutation Testing of Software Using MIMD Computer. ICPP (2) 1992: 257-266 | |
11 | EE | A. Jefferson Offutt: Investigations of the Software Testing Coupling Effect. ACM Trans. Softw. Eng. Methodol. 1(1): 5-20 (1992) |
10 | Robert Geist, A. Jefferson Offutt, Frederick C. Harris Jr.: Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis. IEEE Trans. Computers 41(5): 550-558 (1992) | |
1991 | ||
9 | A. Jefferson Offutt: Unit Testing Versus Integration Testing. ITC 1991: 1108-1109 | |
8 | EE | A. Jefferson Offutt, Stephen D. Lee: How Strong is Weak Mutation? Symposium on Testing, Analysis, and Verification 1991: 200-213 |
7 | EE | Richard A. DeMillo, A. Jefferson Offutt: Constraint-Based Automatic Test Data Generation. IEEE Trans. Software Eng. 17(9): 900-910 (1991) |
6 | EE | A. Jefferson Offutt: An integrated automatic test data generation system. Journal of Systems Integration 1(3-4): 391-409 (1991) |
5 | K. N. King, A. Jefferson Offutt: A Fortran Language System for Mutation-based Software Testing. Softw., Pract. Exper. 21(7): 685-718 (1991) | |
1990 | ||
4 | A. Jefferson Offutt: An Integrated System for Automatically Generating Test Data. ICSI 1990: 694-701 | |
1989 | ||
3 | EE | A. Jefferson Offutt: The Coupling Effect: Fact or Fiction. Symposium on Testing, Analysis, and Verification 1989: 131-140 |
1988 | ||
2 | EE | Catherine L. Bullard, Inez Caldwell, James Harrell, Cis Hinkle, A. Jefferson Offutt: Anatomy of a software engineering project. SIGCSE 1988: 129-133 |
1987 | ||
1 | EE | A. Jefferson Offutt, K. N. King: A Fortran 77 interpreter for mutation analysis. PLDI 1987: 177-188 |