An orchestrated survey of methodologies for automated software test case generation
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
Published in The Journal of systems and software (01.08.2013)
Published in The Journal of systems and software (01.08.2013)
Get full text
Journal Article
Symbolic execution with abstraction
Anand, Saswat, Păsăreanu, Corina S., Visser, Willem
Published in International journal on software tools for technology transfer (01.02.2009)
Published in International journal on software tools for technology transfer (01.02.2009)
Get full text
Journal Article
Symbolic Execution with Abstract Subsumption Checking
Anand, Saswat, Păsăreanu, Corina S., Visser, Willem
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
Heap cloning: Enabling dynamic symbolic execution of java programs
Anand, Saswat, Harrold, Mary Jean
Published in 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (06.11.2011)
Published in 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (06.11.2011)
Get full text
Conference Proceeding
Natural Language Outlines for Code: Literate Programming in the LLM Era
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, Manzil Zaheer, Chandra, Satish, Sutton, Charles
Published in arXiv.org (09.08.2024)
Published in arXiv.org (09.08.2024)
Get full text
Paper
Journal Article
Eventually Sound Points-To Analysis with Missing Code
Bastani, Osbert, Clapp, Lazaro, Anand, Saswat, Sharma, Rahul, Aiken, Alex
Published in arXiv.org (09.11.2017)
Published in arXiv.org (09.11.2017)
Get full text
Paper
Journal Article
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability
Yu, Feng, Bastani, Osbert, Martins, Ruben, Dillig, Isil, Anand, Saswat
Published in arXiv.org (16.06.2017)
Published in arXiv.org (16.06.2017)
Get full text
Paper
Journal Article
Computerized identification of app search functionality for search engine access
Anand, Saswat, Desineni, Kalyan, Tsechansky, Danny, Sankaranarasimhan, Manikandan
Year of Publication 13.11.2018
Get full text
Year of Publication 13.11.2018
Patent
Computerized identification of app search functionality for search engine access
Anand, Saswat, Desineni, Kalyan, Tsechansky, Danny, Sankaranarasimhan, Manikandan
Year of Publication 05.06.2018
Get full text
Year of Publication 05.06.2018
Patent
Symbolic Execution with Interval Solving and Meta-heuristic Search
Borges, M., d'Amorim, Marcelo, Anand, S., Bushnell, D., Pasareanu, C. S.
Published in 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (01.04.2012)
Published in 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (01.04.2012)
Get full text
Conference Proceeding
Computerized Identification Of App Search Functionality For Search Engine Access
TSECHANSKY Danny, DESINENI Kalyan, ANAND Saswat, SANKARANARASIMHAN Manikandan
Year of Publication 29.06.2017
Get full text
Year of Publication 29.06.2017
Patent
Computerized Identification of App Search Functionality for Search Engine Access
TSECHANSKY Danny, DESINENI Kalyan, ANAND Saswat, SANKARANARASIMHAN Manikandan
Year of Publication 29.06.2017
Get full text
Year of Publication 29.06.2017
Patent