Steven J. Zeil

Publication Activity (10 Years)

Years Active: 1981-2014
Publications (10 Years): 0

Top Topics

Knowledge Representation And Reasoning

Backward Chaining

Description Logics

Top Venues

WWW (Companion Volume)

Publications

Hui Shi, Kurt Maly, Steven J. Zeil
Trust and hybrid reasoning for ontological knowledge bases. WWW (Companion Volume) (2014)
Hui Shi, Kurt Maly, Steven J. Zeil
Optimized Backward Chaining Reasoning System for a Semantic Web. WIMS (2014)
Hui Shi, Kurt Maly, Steven J. Zeil, Mohammad Zubair
Comparison of ontology reasoning systems using custom rules. WIMS (2011)
Ashraf Yaseen, Kurt Maly, Steven J. Zeil, Mohammad Zubair
Performance Evaluation of Oracle Semantic Technologies with Respect to User Defined Rules. DEXA Workshops (2011)
Paul Flynn, Li Zhou, Kurt Maly, Steven J. Zeil, Mohammad Zubair
Automated Template-Based Metadata Extraction Architecture. ICADL (2007)
Kurt Maly, Steven J. Zeil, Mohammad Zubair, Ashraf Amrou, Ali Aazhar, Naveen Ratkal
A Scriptable, Statistical Oracle for a Metadata Extraction System. QSIC (2007)
Jianfeng Tang, Kurt Maly, Steven J. Zeil, Mohammad Zubair
Automated Building of OAI Compliant Repository from Legacy Collection. ELPUB (2006)
Steven J. Zeil
Reliability growth modeling from fault failure rates. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Brian Mitchell, Steven J. Zeil
An Experiment in Estimating Reliability Growth Under Both Representative and Directed Testing. ISSTA (1998)
Brian Mitchell, Steven J. Zeil
Modeling Reliability Growth During Non-Representative Testing. Ann. Softw. Eng. 4 (1997)
Brian Mitchell, Steven J. Zeil
A Reliability Model Combining Representative and Directed Testing. ICSE (1996)
Steven J. Zeil
A Multi-Theory Constraint Satisfaction System. ACM Conference on Computer Science (1993)
Steven J. Zeil, J. Christian Wild
A knowledge base for software test refinement. KBSE (1993)
Steven J. Zeil, Faten H. Afifi, Lee J. White
Detection of Linear Errors via Domain Testing. ACM Trans. Softw. Eng. Methodol. 1 (4) (1992)
Faten H. Afifi, Lee J. White, Steven J. Zeil
Testing for Linear Errors in Nonlinear Computer Programs. ICSE (1992)
J. Christian Wild, Steven J. Zeil, Gao Feng, Ji Chen
Employing Accumulated Knowledge to Refine Test Descriptions. Softw. Test. Verification Reliab. 2 (2) (1992)
Steven J. Zeil
Perturbation Techniques for Detecting Domain Errors. IEEE Trans. Software Eng. 15 (6) (1989)
Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil
A Formal Evaluation of Data Flow Path Selection Criteria. IEEE Trans. Software Eng. 15 (11) (1989)
Steven J. Zeil
Complexity of the EQUATE testing strategy. J. Syst. Softw. 8 (2) (1988)
Lori A. Clarke, Debra J. Richardson, Steven J. Zeil
TEAM: A Support Environment for Testing, Evaluation, and Analysis. Software Development Environments (SDE) (1988)
Steven J. Zeil, Edward C. Epp
Interpretation in a Tool-Fragment Environment. ICSE (1988)
Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil
A Comparison of Data Flow Path Selection Criteria. ICSE (1985)
Steven J. Zeil
Perturbation Testing for Computation Errors. ICSE (1984)
Steven J. Zeil
Testing for Perturbations of Program Statements. IEEE Trans. Software Eng. 9 (3) (1983)
Steven J. Zeil, Lee J. White
Sufficient Tset Sets for Path Analysis Testing Strategies. ICSE (1981)