Search Results - "Anand, Saswat"

An orchestrated survey of methodologies for automated software test case generation by Anand, Saswat, Burke, Edmund K., Chen, Tsong Yueh, Clark, John, Cohen, Myra B., Grieskamp, Wolfgang, Harman, Mark, Harrold, Mary Jean, McMinn, Phil, Bertolino, Antonia, Jenny Li, J., Zhu, Hong

“…•We present an orchestrated survey of the most prominent techniques for automatic generation of software test cases.•The survey covers symbolic execution,…”
Get full text

Symbolic execution with abstraction by Anand, Saswat, Păsăreanu, Corina S., Visser, Willem

“…We address the problem of error detection for programs that take recursive data structures and arrays as input. Previously we proposed a combination of…”
Get full text

Techniques to facilitate symbolic execution of real-world programs by Anand, Saswat

“…Symbolic execution is a program-analysis technique that is used to address several problems that arise in developing high-quality software. Despite the fact…”
Get full text

Symbolic execution with abstraction: Special Section on Spin by ANAND, Saswat, PASAREANU, Corina S, VISSER, Willem

Get full text

Heap cloning: Enabling dynamic symbolic execution of java programs by Anand, Saswat, Harrold, Mary Jean

“…The dynamic symbolic-execution technique can automatically perform symbolic execution of programs that use problematic features of Java, such as native…”
Get full text

Natural Language Outlines for Code: Literate Programming in the LLM Era by Shi, Kensen, Altınbüken, Deniz, Anand, Saswat, Christodorescu, Mihai, Grünwedel, Katja, Koenings, Alexa, Naidu, Sai, Pathak, Anurag, Rasi, Marc, Ribeiro, Fredde, Ruffin, Brandon, Sanyam, Siddhant, Tabachnyk, Maxim, Toth, Sara, Tu, Roy, Welp, Tobias, Yin, Pengcheng, Zaheer, Manzil, Chandra, Satish, Sutton, Charles

“…We propose using natural language outlines as a novel modality and interaction surface for providing AI assistance to developers throughout the software…”
Get full text

Techniques to facilitate symbolic execution of real-world programs by Anand, Saswat

“…Symbolic execution is a program-analysis technique that is used to address several problems that arise in developing high-quality software. Despite the fact…”
Get full text

Eventually Sound Points-To Analysis with Missing Code by Bastani, Osbert, Clapp, Lazaro, Anand, Saswat, Sharma, Rahul, Aiken, Alex

“…Static analyses make the increasingly tenuous assumption that all source code is available for analysis; for example, large libraries often call into native…”
Get full text

Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability by Feng, Yu, Bastani, Osbert, Martins, Ruben, Dillig, Isil, Anand, Saswat

“…This paper proposes a technique for automatically learning semantic malware signatures for Android from very few samples of a malware family. The key idea…”
Get full text

Symbolic Execution with Interval Solving and Meta-heuristic Search by Borges, M., d'Amorim, Marcelo, Anand, S., Bushnell, D., Pasareanu, C. S.

“…A challenging problem in symbolic execution is to solve complex mathematical constraints such as constraints that include floating-point variables and…”
Get full text

A lazy divide and conquer approach to constraint solving by Anand, S., Wei-Ngan Chin, Siau-Cheng Khoo

“…A divide and conquer strategy enables a problem to be divided into subproblems, which are solved independently and later combined to form solutions of the…”
Get full text