Thomas Ball

Thomas Ball

Microsoft Research
在 microsoft.com 的电子邮件经过验证
被引用次数：24649
Program analysis verification testing CS education
Koushik Sen

Koushik Sen

Professor of Computer Science, University of California, Berkeley
在 cs.berkeley.edu 的电子邮件经过验证
被引用次数：23215
Computer Science Testing Debugging Program Analysis Concurrency
Armin Biere

Armin Biere

Professor of Computer Science, University of Freiburg
在 informatik.uni-freiburg.de 的电子邮件经过验证
被引用次数：22568
Satisfiability Formal Verification Model Checking Testing Debugging
Tivani Phosa Mashamba-Thompson

Tivani Phosa Mashamba-Thompson

Professor of Diagnostics Research&Deputy Dean of Research and Postgraduate Studies …
在 up.ac.za 的电子邮件经过验证
被引用次数：19831
point-of-care diagnostics testing scoping review implementation
Barton Miller

Barton Miller

Vilas Distinguished Achievement Professor, University of Wisconsin-Madison
在 cs.wisc.edu 的电子邮件经过验证
被引用次数：14861
Security binady code analysis high performance computing testing
Daniel Kroening

Daniel Kroening

Amazon
在 amazon.com 的电子邮件经过验证
被引用次数：14413
Automated verification testing
James T. Austin

James T. Austin

Retired practitioner with small consulting projects
被引用次数：14037
Industrial-Organizational Psychology Testing
Natalia Juristo

Natalia Juristo

Universidad Politécnica de Madrid
在 fi.upm.es 的电子邮件经过验证
被引用次数：12807
Empirical Software Engineering Requirements Engineering Testing Usability
Willem Visser

Willem Visser

Computer Science Division, Stellenbosch University
在 cs.sun.ac.za 的电子邮件经过验证
被引用次数：10949
Testing Symbolic Execution Software Engineering Model Checing
Prof. Raees A. Khan

Prof. Raees A. Khan

Professor & Head, Department of Information Technology, BBA University(A Central
在 bbau.ac.in 的电子邮件经过验证
被引用次数：10469
Software Security Quality Testing Reliability
1 - 10