Statistics
Publications
1
Citations
316
H-Index
1
Active since
2002
Affiliations
William J. Majurski is an author at National Institute of Standards and Technology specializing in mutant identification, model checking specifications, and test cases.
Publications per year
2002–2002
1
1
Using model checking to generate tests from specifications
Paul Ammann, William J. Majurski · 2002 · 316 citations
1–1 of 1