Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics
Cha, Sooyoung, Hong, Seongjoon, Bak, Jiseong, Kim, Jingyoung, Lee, Junhee, Oh, Hakjoo
Published in IEEE transactions on software engineering (01.09.2022)
Published in IEEE transactions on software engineering (01.09.2022)
Get full text
Journal Article
Loading…
A Systematic Review of Search Strategies in Dynamic Symbolic Execution
Sabbaghi, Arash, Keyvanpour, Mohammad Reza
Published in Computer standards and interfaces (01.10.2020)
Published in Computer standards and interfaces (01.10.2020)
Get full text
Journal Article
Loading…
Loading…
Relational symbolic execution of SQL code for unit testing of database programs
Marcozzi, Michaël, Vanhoof, Wim, Hainaut, Jean-Luc
Published in Science of computer programming (01.07.2015)
Published in Science of computer programming (01.07.2015)
Get full text
Journal Article
Loading…
Coverage-Based Greybox Fuzzing as Markov Chain
Bohme, Marcel, Van-Thuan Pham, Roychoudhury, Abhik
Published in IEEE transactions on software engineering (01.05.2019)
Published in IEEE transactions on software engineering (01.05.2019)
Get full text
Journal Article
Loading…
Address-Aware Query Caching for Symbolic Execution
Trabish, David, Itzhaky, Shachar, Rinetzky, Noam
Published in 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST) (01.04.2021)
Published in 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST) (01.04.2021)
Get full text
Conference Proceeding
Loading…
Conditional Quantitative Program Analysis
Gerrard, Mitchell, Borges, Mateus, Dwyer, Matthew B., Filieri, Antonio
Published in IEEE transactions on software engineering (01.04.2022)
Published in IEEE transactions on software engineering (01.04.2022)
Get full text
Journal Article
Loading…
SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically
Nguyen, Tai D., Pham, Long H., Sun, Jun
Published in Proceedings - IEEE Symposium on Security and Privacy (01.05.2021)
Published in Proceedings - IEEE Symposium on Security and Privacy (01.05.2021)
Get full text
Conference Proceeding
Loading…
Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution
Saumya, Charitha, Gangaraju, Rohan, Sundararajah, Kirshanthan, Kulkarni, Milind
Year of Publication 03.08.2023
Year of Publication 03.08.2023
Get full text
Journal Article
Loading…
Loading…
Test generation via Dynamic Symbolic Execution for mutation testing
Lingming Zhang, Tao Xie, Lu Zhang, Tillmann, N, de Halleux, J, Hong Mei
Published in 2010 IEEE International Conference on Software Maintenance (01.09.2010)
Published in 2010 IEEE International Conference on Software Maintenance (01.09.2010)
Get full text
Conference Proceeding
Loading…
Loading…
Effective Verification for Low-Level Software with Competing Interrupts
Liang, Lihao, Melham, Tom, Kroening, Daniel, Schrammel, Peter, Tautschnig, Michael
Published in ACM transactions on embedded computing systems (01.04.2018)
Published in ACM transactions on embedded computing systems (01.04.2018)
Get full text
Journal Article
Loading…
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics
Cha, Sooyoung, Hong, Seongjoon, Kim, Jingyoung, Lee, Junhee, Oh, Hakjoo
Year of Publication 23.07.2019
Year of Publication 23.07.2019
Get full text
Journal Article
Loading…
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
Lakhotia, Kiran, McMinn, Phil, Harman, Mark
Published in The Journal of systems and software (01.12.2010)
Published in The Journal of systems and software (01.12.2010)
Get full text
Journal Article
Loading…
Goal-oriented dynamic test generation
Do, TheAnh, Khoo, Siau-Cheng, Fong, Alvis Cheuk Ming, Pears, Russel, Quan, Tho Thanh
Published in Information and software technology (01.10.2015)
Published in Information and software technology (01.10.2015)
Get full text
Journal Article
Loading…
Automated Classification of Data Races Under Both Strong and Weak Memory Models
Kasikci, Baris, Zamfir, Cristian, Candea, George
Published in ACM transactions on programming languages and systems (01.06.2015)
Published in ACM transactions on programming languages and systems (01.06.2015)
Get full text
Journal Article
Loading…
Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution
Converse, Hayes, Olivo, Oswaldo, Khurshid, Sarfraz
Published in ICST 2017 : proceedings : 10th IEEE International Conference on Software Testing, Verification and Validation : 13-17 March, Tokyo, Japan (01.03.2017)
Published in ICST 2017 : proceedings : 10th IEEE International Conference on Software Testing, Verification and Validation : 13-17 March, Tokyo, Japan (01.03.2017)
Get full text
Conference Proceeding
Loading…
Loading…
Bucketing Failing Tests via Symbolic Analysis
Pham, Van-Thuan, Khurana, Sakaar, Roy, Subhajit, Roychoudhury, Abhik
Published in Fundamental Approaches to Software Engineering (2017)
Published in Fundamental Approaches to Software Engineering (2017)
Get full text
Book Chapter