-
Elaine Jessica Weyuker is an ACM Fellow, an IEEE
Fellow (since 2003), and an AT&T
Fellow at Bell Labs for
research in
software metrics and
testing as...
-
Additional work on
different kinds of
oracles was
explored by
Elaine Weyuker. An
oracle can
operate separately from the SUT;
accessed at test runtime...
- than
providing proofs of the results.
Martin Davis, Ron Sigal,
Elaine J.
Weyuker, Com****bility, complexity, and languages:
fundamentals of theoretical...
- 2003. Szabó 2010. Butterfield,
Ngondi & Kerr 2016.
Knuth 2002. Davis,
Weyuker &
Sigal 1994, p. 327. Bierwisch,
Manfred (2019). "Strukturelle Grammatik...
-
Publish Company, Inc. ISBN 978-0-8053-0143-4. Davis, Martin; Sigal, Ron;
Weyuker,
Elaine J. (1994). Com****bility, Complexity, and
Languages and Logic:...
- 277, Springer-Verlag (1987).
Other Martin Davis, Ron Sigal,
Elaine J.
Weyuker, (1994) Com****bility, Complexity, and Languages:
Fundamentals of Theoretical...
-
instructions (cf. Post (1947),
Boolos &
Jeffrey (1974, 1999), Davis-Sigal-
Weyuker (1994)); also see more at Post–Turing machine. The word "state" used in...
-
Gerald Weinberg:
Wrote The
Psychology of
Computer Programming.
Elaine Weyuker:
Software testing Jeannette Wing:
Formal specifications. Ed Yourdon: Structured...
-
Anchor Canada, p. 14, ISBN 9780385672665. Davis, Martin; Sigal, Ron;
Weyuker,
Elaine J. (1994), Com****bility, Complexity, and Languages: Fundamentals...
-
several textbooks, e.g. Autebert,
Berstel & Bo****on (1997) or Davis,
Sigal &
Weyuker (1994). A few
notions from
formal language theory are in order. A context-free...
