Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael Pradel
Leveraging Test Generation and Specification Mining for Automated Bug Detection Without False Positives
Related publications
False Positives Are Statistically Inevitable
Science
Multidisciplinary
Philosophy of Science
History
Eliminating False Positives in a qPCR Assay for the Detection of theuidAgene inEscherichia Coli
Journal of Water and Health
Waste Management
Disposal
Public Health
Microbiology
Environmental
Water Science
Infectious Diseases
Technology
Occupational Health
False Positives and the Detection of Cyclodextrin Inclusion Complexes by Electrospray Mass Spectrometry
Journal of the American Society for Mass Spectrometry
Structural Biology
Spectroscopy
Leveraging Mid-Level Semantic Boundary Cues for Automated Lymph Node Detection
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Verification and Test Case Generation for Input Validation
Specification-Based Test Cases Generation for Multi-Level Service Composition
IJCI. International Journal of Computers and Information
The False-Positive Rate of Automated Plagiarism Detection for SQL Assessments
JSEFT: Automated Javascript Unit Test Generation
Test Case Generation for Real-Time System Software Using Specification Diagram
International Journal of Intelligent Engineering and Systems
Engineering
Computer Science
