Search Sciweavers | Sciweavers

1054 search results - page 9 / 211

» A Formalization of the Turing Test

211

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 11 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 »

197

click to vote

AGTIVE
2003
Springer

96views Formal Methods» more AGTIVE 2003»

Transforming Graph Based Scenarios into Graph Transformation Based JUnit Tests

16 years 20 days ago

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

Leif Geiger, Albert Zündorf

claim paper

Read More »

152

Voted

FM
2001
Springer

89views Formal Methods» more FM 2001»

Test-Case Calculation through Abstraction

15 years 12 months ago

Download www.ist.tugraz.at

Bernhard K. Aichernig

claim paper

Read More »

158

Voted

FM
1998
Springer

198views Formal Methods» more FM 1998»

Automated Test Set Generation for Statecharts

15 years 11 months ago

Download www.csie.ntut.edu.tw

Kirill Bogdanov, Mike Holcombe, Harbhajan Singh

claim paper

Read More »

150

click to vote

SAS
1993
Springer

118views Formal Methods» more SAS 1993»

Avoiding Repeated Tests in Pattern Matching

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers