James H. Andrews

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2015
Dynamically Testing GUIs Using Ant Colony Optimization (T).
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.
Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015

2014
BlackHorse: creating smart test cases from brittle recorded tests.
Softw. Qual. J., 2014

2013
Comparing multi-point stride coverage and dataflow coverage.
Proceedings of the 35th International Conference on Software Engineering, 2013

Killer App: A Eurogame about software quality.
Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

2012
Generating String Test Data for Code Coverage.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

BlackHorse: Creating smart test cases from brittle recorded tests.
Proceedings of the 7th International Workshop on Automation of Software Test, 2012

2011
Genetic Algorithms for Randomized Unit Testing.
IEEE Trans. Software Eng., 2011

2010
Computing and Diagnosing Changes in Unit Test Energy Consumption.
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.
Proceedings of the 5th International Workshop on Predictive Models in Software Engineering, 2009

Evaluating the Accuracy of Fault Localization Techniques.
Proceedings of the ASE 2009, 2009

The influence of size and coverage on test suite effectiveness.
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Johar: a framework for developing accessible applications.
Proceedings of the 11th International ACM SIGACCESS Conference on Computers and Accessibility, 2009

2008
A Useful Bounded Resource Functional Language.
Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008

Random Test Run Length and Effectiveness.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Sufficient mutation operators for measuring test effectiveness.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007
An untyped higher order logic with Y combinator.
J. Symb. Log., 2007

Industrial Evaluation of a Log File Analysis Methodology.
Proceedings of the Fifth International Workshop on Dynamic Analysis, 2007

Nighthawk: a two-level genetic-random unit test data generator.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

On Sufficiency of Mutants.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria.
IEEE Trans. Software Eng., 2006

Tool support for randomized unit testing.
Proceedings of the 1st International Workshop on Random Testing, 2006

2005
ICSE 2005 workshop summary third international workshop on dynamic analysis (WODA 2005).
ACM SIGSOFT Softw. Eng. Notes, 2005

Minimization of Randomized Unit Test Cases.
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

Third international workshop on dynamic analysis(WODA 2005).
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Is mutation an appropriate tool for testing experiments?
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004
Relevant empirical testing research: challenges and responses.
ACM SIGSOFT Softw. Eng. Notes, 2004

Case Study of Coverage-Checked Random Data Structure Testing.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2003
General Test Result Checking with Log File Analysis.
IEEE Trans. Software Eng., 2003

The witness properties and the semantics of the Prolog cut.
Theory Pract. Log. Program., 2003

2002
Adding Value to Formal Test Oracles.
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

2001
Process-Algebraic Foundations of Aspect-Oriented Programming.
Proceedings of the Metalevel Architectures and Separation of Crosscutting Concerns, 2001

2000
Experiences with a software maintenance project course.
IEEE Trans. Educ., 2000

Broad-spectrum studies of log file analysis.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Experience Report: A Software Maintenance Project Course.
Proceedings of the Thirteenth Conference on Software Engineering Education and Training, 2000

1998
Testing using Log File Analysis: Tools, Methods, and Issues.
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997
A Logical Semantics for Depth-First Prolog with Ground Negation.
Theor. Comput. Sci., 1997

Executing Formal Specifications by Translation to Higher Order Logic Programming.
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.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1996
Characterizing Logic Grammars: A Substructural Logic Approach.
J. Log. Program., 1996

1995
Foundational Issues in Implementing Constraint Logic Programming Systems.
Sci. Comput. Program., 1995

A Paralogical Semantics for the Prolog Cut.
Proceedings of the Logic Programming, 1995

1991
Logic programming : operational semantics and proof theory.
PhD thesis, 1991

1990
The Logical Structure of Sequential Prolog.
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.
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

Predicates as Parameters in Logic Programming, A Set-Theoretic Basis.
Proceedings of the Extensions of Logic Programming, 1989


  Loading...