James H. Andrews

According to our database, James H. Andrews authored at least 46 papers between 1989 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Dynamically Testing GUIs Using Ant Colony Optimization (T).

Santo Carino, James H. Andrews

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Evaluating the Effect of Test Case Length on GUI Test Suite Performance.

Santo Carino, James H. Andrews

Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015

2014

BlackHorse: creating smart test cases from brittle recorded tests.

Santo Carino, James H. Andrews, Sheldon Goulding, Pradeepan Arunthavarajah, Jakub Hertyk

Softw. Qual. J., 2014

2013

Comparing multi-point stride coverage and dataflow coverage.

Mohammad Mahdi Hassan, James H. Andrews

Proceedings of the 35th International Conference on Software Engineering, 2013

Killer App: A Eurogame about software quality.

James H. Andrews

Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

2012

Generating String Test Data for Code Coverage.

Michael Beyene, James H. Andrews

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

BlackHorse: Creating smart test cases from brittle recorded tests.

Santo Carino, James H. Andrews, Sheldon Goulding, Pradeepan Arunthavarajah, Tony Florio, Jakub Hertyk

Proceedings of the 7th International Workshop on Automation of Software Test, 2012

2011

Genetic Algorithms for Randomized Unit Testing.

James H. Andrews, Tim Menzies, Felix Chun Hang Li

IEEE Trans. Software Eng., 2011

2010

Computing and Diagnosing Changes in Unit Test Energy Consumption.

Amy J. Ko, Michal Young, Jamie Andrews, Brian P. Robinson, Mark Grechanik

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009

On the value of combining feature subset selection with genetic algorithms: faster learning of coverage models.

James H. Andrews, Tim Menzies

Proceedings of the 5th International Workshop on Predictive Models in Software Engineering, 2009

Evaluating the Accuracy of Fault Localization Techniques.

Shaimaa Ali, James H. Andrews, Tamilselvi Dhandapani, Wantao Wang

Proceedings of the ASE 2009, 2009

The influence of size and coverage on test suite effectiveness.

Akbar Siami Namin, James H. Andrews

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Johar: a framework for developing accessible applications.

James H. Andrews, Fatima Hussain

Proceedings of the 11th International ACM SIGACCESS Conference on Computers and Accessibility, 2009

2008

A Useful Bounded Resource Functional Language.

Michael J. Burrell, James H. Andrews, Mark Daley

Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008

Random Test Run Length and Effectiveness.

James H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Sufficient mutation operators for measuring test effectiveness.

Akbar Siami Namin, James H. Andrews, Duncan J. Murdoch

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

An untyped higher order logic with Y combinator.

James H. Andrews

J. Symb. Log., 2007

Industrial Evaluation of a Log File Analysis Methodology.

Donald J. Yantzi, James H. Andrews

Proceedings of the Fifth International Workshop on Dynamic Analysis, 2007

Nighthawk: a two-level genetic-random unit test data generator.

James H. Andrews, Felix Chun Hang Li, Tim Menzies

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

On Sufficiency of Mutants.

Akbar Siami Namin, James H. Andrews

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006

Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria.

James H. Andrews, Lionel C. Briand, Yvan Labiche, Akbar Siami Namin

IEEE Trans. Software Eng., 2006

Tool support for randomized unit testing.

James H. Andrews, Susmita Haldar, Yong Lei, Felix Chun Hang Li

Proceedings of the 1st International Workshop on Random Testing, 2006

2005

ICSE 2005 workshop summary third international workshop on dynamic analysis (WODA 2005).

Lori L. Pollock, James H. Andrews

ACM SIGSOFT Softw. Eng. Notes, 2005

Minimization of Randomized Unit Test Cases.

Yong Lei, James H. Andrews

Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

Third international workshop on dynamic analysis(WODA 2005).

James H. Andrews, Lori L. Pollock

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Is mutation an appropriate tool for testing experiments?

James H. Andrews, Lionel C. Briand, Yvan Labiche

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004

Relevant empirical testing research: challenges and responses.

James H. Andrews

ACM SIGSOFT Softw. Eng. Notes, 2004

Case Study of Coverage-Checked Random Data Structure Testing.

James H. Andrews

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2003

General Test Result Checking with Log File Analysis.

James H. Andrews, Yingjun Zhang

IEEE Trans. Software Eng., 2003

The witness properties and the semantics of the Prolog cut.

James H. Andrews

Theory Pract. Log. Program., 2003

2002

Adding Value to Formal Test Oracles.

James H. Andrews, Rui Fu, Vicky D. Liu

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

2001

Process-Algebraic Foundations of Aspect-Oriented Programming.

James H. Andrews

Proceedings of the Metalevel Architectures and Separation of Crosscutting Concerns, 2001

2000

Experiences with a software maintenance project course.

James H. Andrews, Hanan Lutfi Lutfiyya

IEEE Trans. Educ., 2000

Broad-spectrum studies of log file analysis.

James H. Andrews, Yingjun Zhang

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Experience Report: A Software Maintenance Project Course.

James H. Andrews, Hanan Lutfiyya

Proceedings of the Thirteenth Conference on Software Engineering Education and Training, 2000

1998

Testing using Log File Analysis: Tools, Methods, and Issues.

James H. Andrews

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997

A Logical Semantics for Depth-First Prolog with Ground Negation.

James H. Andrews

Theor. Comput. Sci., 1997

Executing Formal Specifications by Translation to Higher Order Logic Programming.

James H. Andrews

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997

Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network.

James H. Andrews, Nancy A. Day, Jeffrey J. Joyce

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1996

Characterizing Logic Grammars: A Substructural Logic Approach.

James H. Andrews, Verónica Dahl, Fred Popowich

J. Log. Program., 1996

1995

Foundational Issues in Implementing Constraint Logic Programming Systems.

James H. Andrews

Sci. Comput. Program., 1995

A Paralogical Semantics for the Prolog Cut.

James H. Andrews

Proceedings of the Logic Programming, 1995

1991

Logic programming : operational semantics and proof theory.

James H. Andrews

PhD thesis, 1991

1990

The Logical Structure of Sequential Prolog.

James H. Andrews

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

1989

Proof-Theoretic Characterisations of Logic Programs.

James H. Andrews

Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

Predicates as Parameters in Logic Programming, A Set-Theoretic Basis.

James H. Andrews

Proceedings of the Extensions of Logic Programming, 1989