Manuel Rigger
- Fuzzing the PHP Interpreter via Dataflow Fusion
2024/10/29 by Yuancheng Jiang, Chuqi Zhang, Jiang, Yuancheng +12 · 4 voices · 1 citation
Computer Science · #Advanced Database Systems and Queries #Semantic Web and Ontologies #Service-Oriented Architecture and Web Services #cs.CR
- Introspection for C and its Applications to Library Robustness
2017/12/04 by Manuel Rigger, Rene Mayrhofer, Roland Schatz +2 · 2 voices · 1 citation
Computer Science · #Security and Verification in Computing #Logic, programming, and type systems #Distributed systems and fault tolerance
- Testing Database Engines via Pivoted Query Synthesis
2020/01/13 by Manuel Rigger, Zhendong Su, Rigger, Manuel +1 · 2 voices · 3 citations
Computer Science · #Advanced Database Systems and Queries #Logic, programming, and type systems #Software Testing and Debugging Techniques #cs.DB #cs.SE
- Understanding GCC Builtins to Develop Better Tools
2019/07/01 by Manuel Rigger, Stefan Marr, Rigger, Manuel +5 · 3 voices
#cs.PL #cs.SE
- Constant Optimization Driven Database System Testing
2025/01/20 by C. Zhang, Chi Zhang, Manuel Rigger · 3 voices · 1 citation
Computer Science · #Distributed systems and fault tolerance #Software System Performance and Reliability #Software Testing and Debugging Techniques #cs.DB #cs.PL #cs.SE
- Testing Database Engines via Query Plan Guidance
2023/12/29 by Jinsheng Ba, Manuel Rigger, Ba, Jinsheng +1 · 2 citations
Computer Science · #Software Testing and Debugging Techniques #Software System Performance and Reliability #Web Application Security Vulnerabilities
- ATPG Binning and SAT-Based Approach to Hardware Trojan Detection for Safety-Critical Systems
2018/01/01 by Animesh BasakChowdhury, Manuel Rigger, Daniel Pekarek +3 · 1 voice
Computer Science · Engineering · Neuroscience · #Integrated Circuits and Semiconductor Failure Analysis #Neuroscience and Neural Engineering #Physical Unclonable Functions (PUFs) and Hardware Security #cs.CR
- Intramorphic Testing: A New Approach to the Test Oracle Problem
2022/10/20 by Manuel Rigger, Zhendong Su · 1 voice
Computer Science · #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #Software Testing and Debugging Techniques #cs.SE
- Finding XPath Bugs in XML Document Processors via Differential Testing
2024/01/10 by Shuxin Li, Li, Shuxin, Manuel Rigger +1 · 1 citation
Computer Science · #Advanced Database Systems and Queries #FOS: Computer and information sciences #Semantic Web and Ontologies #Software Engineering (cs.SE) #Software Testing and Debugging Techniques