Profiles

Sarfraz Khurshid

Professor, University of Texas at Austin

Verified email at ece.utexas.edu

Cited by 13258

software testing and verification debugging error recovery specification languages

Lori Clarke

Professor of Computer Science, University of Massachusetts Amherst

Verified email at cs.umass.edu

Cited by 8333

Software Engineering Software testing and verification human-intensive systems

Zijiang Yang

Professor of Computer Science, Western Michigan University

Verified email at wmich.edu

Cited by 5878

Software Testing and Verification

ThanhVu (Vu) Nguyen

Computer Science, George Mason University

Verified email at gmu.edu

Cited by 3918

Software Engineering Formal Methods Software Testing and Verification AI Safety

Alastair Donaldson

Imperial College London

Verified email at imperial.ac.uk

Cited by 3824

Programming Languages Software Testing and Verification Compilers GPUs and Accelerators Concurrency

Zarina Shukur

Professor

Verified email at ukm.edu.my

Cited by 2331

Software Testing and Verification Cyber Security Formal Methods Programming Education Automatic Marking

German Vidal

Prof. Computer Science, MIST, VRAIN, Universitat Politècnica de València

Verified email at dsic.upv.es

Cited by 2150

logic programming explainable artificial intelligence debugging software testing and verification reversible computation

Jacob Burnim

Google Research

Verified email at google.com

Cited by 1383

Machine Learning Software Testing and Verification Parallel Computing

Dr. Manar Alalfi

Associate Professor, Toronto Metropolitan University. Adjunct Assistant Prof., Queen's …

Cited by 1138

Software security Model Driven Engineering Software testing and verification

Leonidas Lampropoulos

Assistant Professor, University of Maryland

Verified email at umd.edu

Cited by 1131

Programming Languages Software Testing and Verification

1 - 10