MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Logic Programs with Tests." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

16 documents found, showing 1 through 10. Next 10 →

ATOM

Pattern Discovery in Temporal Databases: A Temporal Logic Approach
by Balaji Padmanabhan, Alexander Tuzhilin — 1996
… how frequent temporal patterns can be discovered by constructing temporal logic programs. To test…
Cited by 26 (0 self) – Add To MetaCart

Classical Search Strategies for Test Case Generation with Constraint Logic Programming
by Alexander Pretschner — 2001 — In Proc. Formal Approaches to Testing of Software
…Classical search strategies for test case generation with Constraint Logic Programming ∗ Alexander…
Cited by 17 (6 self) – Add To MetaCart

Model Based Testing for Real: The Inhouse Card Case Study
by A. Pretschner, O. Slotosch, H. Loetzbeyer, E. Aiglstorfer, S. Kriebel — 2001
… tool AutoFocus as well as our Constraint Logic Programming based approach to model-based test case…
Cited by 6 (3 self) – Add To MetaCart

Relating Logic Programming Theories of Actions and Partial Order Planning
by Chitta Baral — 1997 — Annals of Mathematics and Artificial Intelligence
… the second obstacle by showing the correspondence between testing in a logic program and in a partial order…
Cited by 4 (0 self) – Add To MetaCart

Testing Production System Programs
by Grigoris Antoniou, Oliver Jack, Fachbereich Elektrotechnik — 1998 — 214, The Ninth International Symposium on Software Reliability Engineering
… for testing logic programs [7]. We consider a implementation-oriented testing approach. The aim…
Cited by 1 (0 self) – Add To MetaCart

Java PathExplorer - A Runtime Verification Tool
by Klaus Havelund, Grigore Rosu — 2001 — In The 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space: A New Space Odyssey
… of using temporal logic in program testing is not new, and has already been pursued in the commercial…
Cited by 23 (4 self) – Add To MetaCart

Monitoring Java Programs with Java PathExplorer
by Qss Recom Technologies, Grigore Rosu, Grigore Rosu Riacs, Klaus Havelund, Klaus Havelund, Klaus Havelund — 2001 — In Proceedings of Runtime Verification (RV’01
… easily attach new such algorithms. The idea of using temporal logic in program testing is not new…
Add To MetaCart

Specification and Error Pattern Based Program Monitoring
by Klaus Havelund, Scott Johnson, Grigore Rosu — 2001
… of black-box monitoring. The idea of using temporal logic in program testing is not new. We only mention…
Cited by 6 (5 self) – Add To MetaCart

Monitoring Programs using Rewriting
by Klaus Havelund Kestrel, Klaus Havelund, Kestrel Technology, Grigore Rosu — 2001 — In Proceedings, International Conference on Automated Software Engineering (ASE’01
… Instrumentation Maude Dispatcher Figure 1. Overview of JPAX The idea of using temporal logic in program testing…
Add To MetaCart

A Rewriting-based Approach to Trace Analysis
by Klaus Havelund, Kestrel Technology — 2002 — Automated Software Engineering
…. The idea of using temporal logic in program testing is not new, and has already been pursued…
Cited by 4 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB