BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
11 × USA
Collaborated with:
R.J.Lipton ∅ E.H.Spafford K.Vairavan H.Pan H.Agrawal N.A.Lynch M.Merritt A.J.Perlis S.C.Eisenstat T.A.Budd F.G.Sayward
Talks about:
program (5) softwar (3) test (3) structur (2) complex (2) theori (2) slice (2) mutat (2) unconstrain (1) cryptograph (1)

Person: Richard A. DeMillo

DBLP DBLP: DeMillo:Richard_A=

Facilitated 4 volumes:

ICSE 1993Ed
STOC 1984Ed
POPL 1982Ed
STOC 1979Ed

Contributed to:

FSE 20002000
ISSTA 19961996
ICSE 19911991
ISSTA 19911991
ICSE 19891989
STOC 19821982
POPL 19801980
STOC 19801980
STOC 19791979
POPL 19771977
STOC 19751975
STOC 19741974

Wrote 12 papers:

FSE-2000-DeMillo #communication #development #generative #network
Software development for next generation communication networks (RAD), p. 1.
ISSTA-1996-DeMilloPS #fault #locality #slicing
Critical Slicing for Software Fault Localization (RAD, HP, EHS), pp. 121–134.
ICSE-1991-DeMillo #automation #testing #towards
Progress Toward Automated Software Testing (RAD), pp. 180–183.
TAV-1991-AgrawalDS #pointer #slicing
Dynamic Slicing in the Presence of Unconstrained Pointers (HA, RAD, EHS), pp. 60–73.
ICSE-1989-DeMillo #test coverage #testing
Test Adequacy and Program Mutation (RAD), pp. 355–356.
STOC-1982-DeMilloLM #encryption #protocol
Cryptographic Protocols (RAD, NAL, MM), pp. 383–400.
POPL-1980-BuddDLS #correctness #functional #source code #using
Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs (TAB, RAD, RJL, FGS), pp. 220–233.
STOC-1980-DeMilloL #consistency #problem
The Consistency of “P = NP” and Related Problems with Fragments of Number Theory (RAD, RJL), pp. 45–57.
STOC-1979-DeMilloL #complexity #logic
Some Connections between Mathematical Logic and Complexity Theory (RAD, RJL), pp. 153–159.
POPL-1977-DeMilloLP #process #proving #social #source code #theorem
Social Processes and Proofs of Theorems and Programs (RAD, RJL, AJP), pp. 206–214.
STOC-1975-LiptonED #complexity #data type
The Complexity of Control Structures and Data Structures (RJL, SCE, RAD), pp. 186–193.
STOC-1974-VairavanD #parallel #scheduling #source code #strict
Parallel Scheduling of Programs in a Restricted Model of Computation (KV, RAD), pp. 248–255.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.