Sarfraz Khurshid

Sarfraz Khurshid

Professor, University of Texas at Austin
在 ece.utexas.edu 的电子邮件经过验证
被引用次数：13185
software testing and verification debugging error recovery specification languages
Lori Clarke

Lori Clarke

Professor of Computer Science, University of Massachusetts Amherst
在 cs.umass.edu 的电子邮件经过验证
被引用次数：8314
Software Engineering Software testing and verification human-intensive systems
Zijiang Yang

Zijiang Yang

Professor of Computer Science, Western Michigan University
在 wmich.edu 的电子邮件经过验证
被引用次数：5785
Software Testing and Verification
ThanhVu (Vu) Nguyen

ThanhVu (Vu) Nguyen

Computer Science, George Mason University
在 gmu.edu 的电子邮件经过验证
被引用次数：3884
Software Engineering Formal Methods Software Testing and Verification AI Safety
Alastair Donaldson

Alastair Donaldson

Imperial College London
在 imperial.ac.uk 的电子邮件经过验证
被引用次数：3794
Programming Languages Software Testing and Verification Compilers GPUs and Accelerators Concurrency
Zarina Shukur

Zarina Shukur

Professor
在 ukm.edu.my 的电子邮件经过验证
被引用次数：2269
Software Testing and Verification Cyber Security Formal Methods Programming Education Automatic Marking
German Vidal

German Vidal

Prof. Computer Science, MIST, VRAIN, Universitat Politècnica de València
在 dsic.upv.es 的电子邮件经过验证
被引用次数：2145
logic programming explainable artificial intelligence debugging software testing and verification reversible computation
Jacob Burnim

Jacob Burnim

Google Research
在 google.com 的电子邮件经过验证
被引用次数：1374
Machine Learning Software Testing and Verification Parallel Computing
Dr. Manar Alalfi

Dr. Manar Alalfi

Associate Professor, Toronto Metropolitan University. Adjunct Assistant Prof., Queen's …
被引用次数：1128
Software security Model Driven Engineering Software testing and verification
Leonidas Lampropoulos

Leonidas Lampropoulos

Assistant Professor, University of Maryland
在 umd.edu 的电子邮件经过验证
被引用次数：1119
Programming Languages Software Testing and Verification
1 - 10