Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hee Beng Kuan Tan
Automated Verification and Test Case Generation for Input Validation
Related publications
Rapid, Automated, Test, Verification and Validation for the CubeSats
International Journal of Space Science and Engineering
Control
Systems Engineering
Space
Planetary Science
Computer Science Applications
Aerospace Engineering
Capture-Based Automated Test Input Generation
Test Verification and Validation for Molecular Diagnostic Assays
Archives of Pathology and Laboratory Medicine
Medicine
Forensic Medicine
Pathology
Medical Laboratory Technology
Automated Test Case Generation Tool Based on Pycparser
International Journal of Research in Advent Technology
Automated Multi-Agent Simulation Generation and Validation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
VeriAbs: Verification by Abstraction and Test Generation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Invariant Generation for the Verification of Real-Time Systems
JSEFT: Automated Javascript Unit Test Generation
Automated Test Generation for Optimizing Compilers With OpenMP Support
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
