WorldCat Identities

Weyuker, Elaine J.

Overview
Works: 39 works in 107 publications in 3 languages and 1,405 library holdings
Genres: Conference papers and proceedings  Technical reports 
Roles: Author, Editor
Publication Timeline
.
Most widely held works by Elaine J Weyuker
Computability, complexity, and languages : fundamentals of theoretical computer science by Martin Davis( Book )

47 editions published between 1983 and 2015 in English and Italian and held by 1,274 WorldCat member libraries worldwide

This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes very little background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability
Proceedings of the 1993 International Symposium on Software Testing and Analysis (ISSTA), June 28-30, 1993, Cambridge, Massachusetts, USA by International Symposium on Software Testing and Analysis( Book )

9 editions published between 1992 and 1993 in English and held by 72 WorldCat member libraries worldwide

Computability, complexity, and languages by Martin Davis( )

3 editions published between 1983 and 1994 in English and held by 6 WorldCat member libraries worldwide

This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability. * Computability theory is introduced in a manner that makes maximum use of previous programming experience, including a "universal" program that takes up less than a page. * The number of exercises included has more than tripled. * Automata theory, computational logic, and complexity theory are presented in a flexible manner, and can be covered in a variety of different arrangements
Data flow testing in the presence of unexecutable paths by Phyllis G Frankl( Book )

3 editions published in 1986 in English and held by 4 WorldCat member libraries worldwide

Evaluating software complexity measures by Elaine J Weyuker( Book )

4 editions published between 1985 and 2015 in English and held by 4 WorldCat member libraries worldwide

<>( Book )

1 edition published in 1989 in Hebrew and held by 4 WorldCat member libraries worldwide

Special issue on software and performance : [originated with the Seventh ACM Workshop on Software and Performance (WOSP)]( Book )

2 editions published in 2010 in English and held by 3 WorldCat member libraries worldwide

ASSET: a system to select and evaluate tests by Phyllis G Frankl( Book )

3 editions published in 1985 in English and held by 3 WorldCat member libraries worldwide

An error-based testing strategy by Elaine J Weyuker( Book )

3 editions published between 1981 and 2010 in English and held by 3 WorldCat member libraries worldwide

Assessing test data adequacy through program inference (classic reprint) by Elaine J Weyuker( Book )

1 edition published in 2016 in English and held by 2 WorldCat member libraries worldwide

A question answering system in the growing machine by Elaine J Weyuker( Book )

2 editions published in 1968 in English and held by 2 WorldCat member libraries worldwide

Analyzing partition testing strategies by Elaine J Weyuker( Book )

2 editions published in 1990 in English and held by 2 WorldCat member libraries worldwide

On testing nontestable programs (classic reprint) by Elaine J Weyuker( Book )

1 edition published in 2016 in English and held by 2 WorldCat member libraries worldwide

Translatability and decidability questions for restricted classes of program schemas (classic ... reprint) by Elaine J Weyuker( Book )

1 edition published in 2016 in English and held by 2 WorldCat member libraries worldwide

Collecting and categorizing software error data in an industrial environment (classic reprint) by THOMAS J OSTRAND( )

1 edition published in 1982 in English and held by 1 WorldCat member library worldwide

A formal analysis of the dault-detecting ability of testing methods by Phyllis G Frankl( )

1 edition published in 1993 in English and held by 1 WorldCat member library worldwide

FORMAL NOTION OF PROGRAM-BASED TEST DATA ADEQUACY : october, 1982 (classic reprint) by Martin Davis( )

1 edition published in 1982 in English and held by 1 WorldCat member library worldwide

On testing nontestable programs by Elaine J Weyuker( )

1 edition published in 1980 in English and held by 1 WorldCat member library worldwide

Automatically generating test data from a boolean specification by Elaine J Weyuker( )

1 edition published in 1994 in English and held by 1 WorldCat member library worldwide

Error-based testing strategy (classic reprint) by Elaine J Weyuker( Book )

1 edition published in 2015 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.51 (from 0.39 for <> ... to 0.95 for On testing ...)

Computability, complexity, and languages : fundamentals of theoretical computer science
Covers
Alternative Names
Elaine Weyuker American computer scientist

Elaine Weyuker Amerikaans informatica

Elaine Weyuker amerikanische Informatikerin

Elaine Weyuker especialista en informática estadounidense

Elaine Weyuker informatica statunitense

Elaine Weyuker informaticienne américaine

Weyuker, Elaine.

艾琳·韋約克

Languages