dblp.uni-trier.dewww.uni-trier.de

James H. Andrews Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
27EEJames H. Andrews, Fatima Hussain: Johar: a framework for developing accessible applications. ASSETS 2009: 243-244
2008
26EEJames H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu: Random Test Run Length and Effectiveness. ASE 2008: 19-28
25EEAkbar Siami Namin, James H. Andrews, Duncan J. Murdoch: Sufficient mutation operators for measuring test effectiveness. ICSE 2008: 351-360
24EEMichael J. Burrell, James H. Andrews, Mark Daley: A Useful Bounded Resource Functional Language. SOFSEM 2008: 198-210
2007
23EEJames H. Andrews, Felix Chun Hang Li, Tim Menzies: Nighthawk: a two-level genetic-random unit test data generator. ASE 2007: 144-153
22EEAkbar Siami Namin, James H. Andrews: On Sufficiency of Mutants. ICSE Companion 2007: 73-74
2006
21EEJames H. Andrews, Susmita Haldar, Yong Lei, Felix Chun Hang Li: Tool support for randomized unit testing. Random Testing 2006: 36-45
20EEJames H. Andrews, Lionel C. Briand, Yvan Labiche, Akbar Siami Namin: Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria. IEEE Trans. Software Eng. 32(8): 608-624 (2006)
2005
19EEJames H. Andrews, Lionel C. Briand, Yvan Labiche: Is mutation an appropriate tool for testing experiments? ICSE 2005: 402-411
18EEYong Lei, James H. Andrews: Minimization of Randomized Unit Test Cases. ISSRE 2005: 267-276
2004
17EEJames H. Andrews: Case Study of Coverage-Checked Random Data Structure Testing. ASE 2004: 316-319
16EEJames H. Andrews: Relevant empirical testing research: challenges and responses. ACM SIGSOFT Software Engineering Notes 29(5): 1-4 (2004)
2003
15EEJames H. Andrews, Yingjun Zhang: General Test Result Checking with Log File Analysis. IEEE Trans. Software Eng. 29(7): 634-648 (2003)
14 James H. Andrews: The witness properties and the semantics of the Prolog cut. TPLP 3(1): 1-59 (2003)
2002
13EEJames H. Andrews, Rui Fu, Vicky D. Liu: Adding Value to Formal Test Oracles. ASE 2002: 275-248
12EEJames H. Andrews: The Witness Properties and the Semantics of the Prolog Cut CoRR cs.PL/0201029: (2002)
2001
11EEJames H. Andrews: Process-Algebraic Foundations of Aspect-Oriented Programming. Reflection 2001: 187-209
2000
10EEJames H. Andrews, Hanan Lutfiyya: Experience Report: A Software Maintenance Project Course. CSEE&T 2000: 132-139
9EEJames H. Andrews, Yingjun Zhang: Broad-spectrum studies of log file analysis. ICSE 2000: 105-114
1997
8EEJames H. Andrews: Executing Formal Specifications by Translation to Higher Order Logic Programming. TPHOLs 1997: 17-32
1995
7 James H. Andrews: A Paralogical Semantics for the Prolog Cut. ILPS 1995: 591-605
6 James H. Andrews: Foundational Issues in Implementing Constraint Logic Programming Systems. Sci. Comput. Program. 25(2-3): 117-147 (1995)
1994
5EEJames H. Andrews: Foundational Issues in Implementing Constraint Logic Programming Systems. ESOP 1994: 74-88
1993
4 James H. Andrews: A Logical Semantics for Depth-First Prolog with Ground Negation. ILPS 1993: 220-234
1990
3 James H. Andrews: The Logical Structure of Sequential Prolog. NACLP 1990: 585-602
1989
2EEJames H. Andrews: Predicates as Parameters in Logic Programming, A Set-Theoretic Basis. ELP 1989: 31-47
1EEJames H. Andrews: Proof-Theoretic Characterisations of Logic Programs. MFCS 1989: 145-154

Coauthor Index

1Lionel C. Briand [19] [20]
2Michael J. Burrell [24]
3Mark Daley [24]
4Rui Fu [13]
5Alex Groce [26]
6Susmita Haldar [21]
7Fatima Hussain [27]
8Yvan Labiche [19] [20]
9Yong Lei [18] [21]
10Felix Chun Hang Li [21] [23]
11Vicky D. Liu [13]
12Hanan Lutfiyya (Hanan Lutfi Lutfiyya) [10]
13Tim Menzies [23]
14Duncan J. Murdoch [25]
15Akbar Siami Namin [20] [22] [25]
16Melissa Weston [26]
17Ru-Gang Xu [26]
18Yingjun Zhang [9] [15]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)