Search-based automated testing of continuous controllers: Framework, tool support, and case studies

Statistical power analysis for the behavioral sciences

Computers Environment and Urban Systems · 1990 · 65.7K citations

Public Health, Behavioral Sciences, Biostatistics +14

The theory of hybrid automata

Thomas A. Henzinger · 2002 · 1.9K citations

Computing, Computer Science, Mathematics +14

A Hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering

Andrea Arcuri, Lionel Briand · Software Testing Verification and Reliability · 2012 · 605 citations · Full text

Computing, Computer Science, Algorithms +12

Timed Automata

Rajeev Alur · Computer Aided Verification · 1999 · 454 citations

Engineering, Computer Engineering, Computer Science +17

Handbook of networked and embedded control systems

Choice Reviews Online · 2005 · 331 citations

Engineering, Computer Engineering, Systems Engineering +10