Software Engineering Journal

Applying new scheduling theory to static priority pre-emptive scheduling

Neil Audsley, A. Burns, Mike Richardson et al. · 1993 · 1.1K citations

Computing, Computer Engineering, Computer Science +16

Applicability of modified condition/decision coverage to software testing

John Joseph Chilenski, Steven P. Miller · 1994 · 509 citations

Computing, Computer Engineering, Computer Science +10

Automatic structural testing using genetic algorithms

B.F. Jones, Harmen-Hinrich Sthamer, D.E. Eyres · 1996 · 338 citations

Computing, Computer Science, Algorithms +14

Software testing based on formal specifications: a theory and a tool

Gilles Bernot, Marie Claude Gaudel, Bruno Marre · 1991 · 323 citations

Computing, Computer Science, Formal Methods +16

ACRE: selecting methods for requirements acquisition

Neil Maiden, Gordon Rugg · 1996 · 312 citations

Engineering, Information Systems, Method Validation +11