A. Jefferson Offutt
Orcid: 0000-0002-8657-2557Affiliations:
- George Mason University, Fairfax, Virginia, USA
According to our database1,
A. Jefferson Offutt
authored at least 242 papers
between 1987 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on twitter.com
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on cs.gmu.edu
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
J. Syst. Softw., 2025
2024
Elementary teachers' experiences in online professional development for literacy-focused computer science instruction for all learners.
Comput. Sci. Educ., July, 2024
Proceedings of the 21st IEEE/ACM International Conference on Mining Software Repositories, 2024
2023
Softw. Test. Verification Reliab., December, 2023
Softw. Test. Verification Reliab., September, 2023
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023
2022
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2022
2021
Proceedings of the EASEAI 2021: Proceedings of the 3rd International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, 2021
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021
Self determination: A comprehensive strategy for making automated tests more effective and efficient.
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021
2020
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020
SiMut: Exploring Program Similarity to Support the Cost Reduction of Mutation Testing.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
2019
Softw. Syst. Model., 2019
A systematic literature review of techniques and metrics to reduce the cost of mutation testing.
J. Syst. Softw., 2019
2018
Softw. Test. Verification Reliab., 2018
Softw. Test. Verification Reliab., 2018
Softw. Test. Verification Reliab., 2018
Softw. Test. Verification Reliab., 2018
Sci. Comput. Program., 2018
Int. J. Softw. Eng. Knowl. Eng., 2018
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018
A Systematic Review of Cost Reduction Techniques for Mutation Testing: Preliminary Results.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018
Proceedings of the 2018 on Asia Conference on Computer and Communications Security, 2018
2017
Softw. Test. Verification Reliab., 2017
Softw. Test. Verification Reliab., 2017
Inf. Softw. Technol., 2017
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017
Proceedings of the Fourth ACM Conference on Learning @ Scale, 2017
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
2016
Softw. Test. Verification Reliab., 2016
Softw. Test. Verification Reliab., 2016
Softw. Test. Verification Reliab., 2016
Softw. Test. Verification Reliab., 2016
Softw. Test. Verification Reliab., 2016
What to expect of predicates: An empirical analysis of predicates in real world programs.
J. Syst. Softw., 2016
IEEE Secur. Priv., 2016
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016
Are We There Yet? How Redundant and Equivalent Mutants Affect Determination of Test Completeness.
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016
2015
Softw. Test. Verification Reliab., 2015
SE 2014: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering.
Computer, 2015
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015
Proceedings of the 8th IEEE International Conference on Software Testing, 2015
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015
2014
Softw. Test. Verification Reliab., 2014
Softw. Test. Verification Reliab., 2014
Softw. Test. Verification Reliab., 2014
An industrial study of applying input space partitioning to test financial calculation engines.
Empir. Softw. Eng., 2014
Proceedings of the 2014 Brazilian Symposium on Software Engineering, Maceió, Brazil, September 28, 2014
Proceedings of the Model-Driven Engineering Languages and Systems, 2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
2013
Softw. Test. Verification Reliab., 2013
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013
Is bytecode instrumentation as good as source code instrumentation: An empirical study with industrial tools (Experience Report).
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013
Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013
2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
2011
Softw. Test. Verification Reliab., 2011
Inf. Softw. Technol., 2011
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
Proceedings of the 6th International Workshop on Automation of Software Test, 2011
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011
2010
Softw. Test. Verification Reliab., 2010
Softw. Test. Verification Reliab., 2010
Softw. Test. Verification Reliab., 2010
Softw. Syst. Model., 2010
Inf. Softw. Technol., 2010
An Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path Coverage.
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010
Proceedings of the Third International Conference on Software Testing, 2010
Proceedings of the Third International Conference on Software Testing, 2010
2009
Softw. Test. Verification Reliab., 2009
Softw. Test. Verification Reliab., 2009
Impact of release intervals on empirical research into software evolution, with application to the maintainability of Linux.
IET Softw., 2009
Comput. J., 2009
Comput. J., 2009
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
An Experimental Comparison of Four Unit Test Criteria: Mutation, Edge-Pair, All-Uses and Prime Path Coverage.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
2008
Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008
Proceedings of the First International Conference on Software Testing, 2008
Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications.
Proceedings of the First International Conference on Software Testing, 2008
Proceedings of the Formal Methods and Software Engineering, 2008
Proceedings of the Formal Methods and Testing, 2008
Cambridge University Press, ISBN: 978-0-511-80916-3, 2008
2007
Softw. Test. Verification Reliab., 2007
Softw. Test. Verification Reliab., 2007
Service Oriented Architecture Empirical Study.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007
Proceedings of the Second International Workshop on Automation of Software Test, 2007
Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007
2006
Softw. Test. Verification Reliab., 2006
Maintainability of the kernels of open-source operating systems: A comparison of Linux with FreeBSD, NetBSD, and OpenBSD.
J. Syst. Softw., 2006
Empir. Softw. Eng., 2006
Proceedings of the Second Workshop on Model Based Testing, 2006
Proceedings of the Testing: Academia and Industry Conference, 2006
An industrial case study of structural testing applied to safety-critical embedded software.
Proceedings of the 2006 International Symposium on Empirical Software Engineering (ISESE 2006), 2006
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006
2005
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005
Increasing Class-Component Testability.
Proceedings of the IASTED International Conference on Software Engineering, 2005
2004
Categorization of Common Coupling and Its Application to the Maintainability of the Linux Kernel.
IEEE Trans. Software Eng., 2004
ACM SIGSOFT Softw. Eng. Notes, 2004
ACM SIGSOFT Softw. Eng. Notes, 2004
Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004
2003
Softw. Test. Verification Reliab., 2003
Empir. Softw. Eng., 2003
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003
Proceedings of the COTS-Based Software Systems, Second International Conference, 2003
Proceedings of the 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 2003
2002
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002
Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002
Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002
2001
Designing an IT College.
Proceedings of the Networking the Learner: Computers in Education, 2001
Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001
Generating Test Cases for XML-Based Web Component Interactions Using Mutation Analysis.
Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001
Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001
2000
ACM SIGSOFT Softw. Eng. Notes, 2000
Proceedings of the «UML» 2000, 2000
Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000
Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000
Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000
Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000
1999
Softw. Pract. Exp., 1999
Proceedings of the «UML»'99: The Unified Modeling Language, 1999
Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999
Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999
Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999
1998
IEEE Trans. Software Eng., 1998
Softw. Test. Verification Reliab., 1998
1997
Softw. Test. Verification Reliab., 1997
J. Syst. Softw., 1997
Proceedings of the Tenth Conference on Software Engineering Education and Training, 1997
Proceedings of the 35th Annual Southeast Regional Conference, 1997
1996
ACM Trans. Softw. Eng. Methodol., 1996
Softw. Pract. Exp., 1996
Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996
Proceedings of the 1996 International Conference on Software Maintenance (ICSM '96), 1996
Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996
1994
IEEE Trans. Software Eng., 1994
Softw. Test. Verification Reliab., 1994
Proceedings of the Proceedings IEEE International Test Conference 1994, 1994
A Five Year Perspective on Software Engineering Graduate Programs at George Mason University.
Proceedings of the Software Engineering Education, 1994
1993
ACM Trans. Softw. Eng. Methodol., 1993
Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993
Proceedings of the 15th International Conference on Software Engineering, 1993
1992
ACM Trans. Softw. Eng. Methodol., 1992
Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis.
IEEE Trans. Computers, 1992
Mutation Testing of Software Using MIMD Computer.
Proceedings of the 1992 International Conference on Parallel Processing, 1992
Proceedings of the Software Engineering Education, SEI Conference, 1992, Proceedings, 1992
1991
Softw. Pract. Exp., 1991
Proceedings of the Proceedings IEEE International Test Conference 1991, 1991
Proceedings of the Symposium on Testing, Analysis, and Verification, 1991
1990
An Integrated System for Automatically Generating Test Data.
Proceedings of the First International Conference on Systems Integration, 1990
1989
Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989
1988
Proceedings of the 19th SIGCSE Technical Symposium on Computer Science Education, 1988
1987
Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24, 1987