Search Sciweavers | Sciweavers

1054 search results - page 9 / 211

» A Formalization of the Turing Test

153

click to vote

SIGCSE
1997
ACM

158views Education» more SIGCSE 1997»

A collection of tools for making automata theory and formal languages come alive

15 years 8 months ago

Download www.cs.duke.edu

We present a collection of new and enhanced tools for experimenting with concepts in formal languages and automata theory. New tools, written in Java, include JFLAP for creating a...

Susan H. Rodger, Anna O. Bilska, Kenneth H. Leider...

claim paper

Read More »

139

click to vote

AGTIVE
2003
Springer

96views Formal Methods» more AGTIVE 2003»

Transforming Graph Based Scenarios into Graph Transformation Based JUnit Tests

15 years 9 months ago

Download www.se.eecs.uni-kassel.de

Leif Geiger, Albert Zündorf

claim paper

Read More »

108

click to vote

FM
2001
Springer

89views Formal Methods» more FM 2001»

Test-Case Calculation through Abstraction

15 years 8 months ago

Download www.ist.tugraz.at

Bernhard K. Aichernig

claim paper

Read More »

106

click to vote

FM
1998
Springer

198views Formal Methods» more FM 1998»

Automated Test Set Generation for Statecharts

15 years 8 months ago

Download www.csie.ntut.edu.tw

Kirill Bogdanov, Mike Holcombe, Harbhajan Singh

claim paper

Read More »

104

Voted

SAS
1993
Springer

118views Formal Methods» more SAS 1993»

Avoiding Repeated Tests in Pattern Matching

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers