Proofs from Tests
Beckman, N E, Nori, A V, Rajamani, S K, Simmons, R J, Tetali, S D, Thakur, A V
Published in IEEE transactions on software engineering (01.07.2010)
Published in IEEE transactions on software engineering (01.07.2010)
Get full text
Journal Article
Automating Software Testing Using Program Analysis
Godefroid, P., de Halleux, P., Nori, A.V., Rajamani, S.K., Schulte, W., Tillmann, N., Levin, M.Y.
Published in IEEE software (01.09.2008)
Published in IEEE software (01.09.2008)
Get full text
Journal Article
Counterexample Driven Refinement for Abstract Interpretation
Get full text
Book Chapter
Conference Proceeding
Refining abstract interpretations
Gulavani, Bhargav S., Chakraborty, Supratik, Nori, Aditya V., Rajamani, Sriram K.
Published in Information processing letters (31.07.2010)
Published in Information processing letters (31.07.2010)
Get full text
Journal Article
Boolean and Cartesian abstraction for model checking C programs
Ball, Thomas, Podelski, Andreas, Rajamani, Sriram K.
Published in International journal on software tools for technology transfer (01.11.2003)
Published in International journal on software tools for technology transfer (01.11.2003)
Get full text
Journal Article
Fair Simulation
Henzinger, Thomas A, Kupferman, Orna, Rajamani, Sriram K
Published in Information and computation (25.02.2002)
Published in Information and computation (25.02.2002)
Get full text
Journal Article
Righting software
Larus, J.R., Ball, T., Manuvir Das, DeLine, R., Fahndrich, M., Pincus, J., Rajamani, S.K., Venkatapathy, R.
Published in IEEE software (01.05.2004)
Published in IEEE software (01.05.2004)
Get full text
Journal Article
Intelligent Systems and Formal Methods in Software Engineering
Beckert, B., Hoare, T., Hahnle, R., Smith, D.R., Green, C., Ranise, S., Tinelli, C., Ball, T., Rajamani, S.K.
Published in IEEE intelligent systems (01.11.2006)
Published in IEEE intelligent systems (01.11.2006)
Get full text
Journal Article
Sound Transaction-Based Reduction Without Cycle Detection
Levin, Vladimir, Palmer, Robert, Qadeer, Shaz, Rajamani, Sriram K.
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
Automatic Property Checking for Software: Past, Present and Future
Rajamani, S.K.
Published in 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) (01.09.2006)
Published in 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) (01.09.2006)
Get full text
Conference Proceeding
Jigsaw: Large Language Models meet Program Synthesis
Jain, Naman, Vaidyanath, Skanda, Iyer, Arun, Natarajan, Nagarajan, Parthasarathy, Suresh, Rajamani, Sriram, Sharma, Rahul
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)
Get full text
Conference Proceeding
Bootstrapping Privacy Compliance in Big Data Systems
Sen, Shayak, Guha, Saikat, Datta, Anupam, Rajamani, Sriram K., Tsai, Janice, Wing, Jeannette M.
Published in 2014 IEEE Symposium on Security and Privacy (01.05.2014)
Published in 2014 IEEE Symposium on Security and Privacy (01.05.2014)
Get full text
Conference Proceeding
Keynote talk III: Trusted cloud: How to make the cloud more secure
Rajamani, Sriram
Published in 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) (01.11.2016)
Published in 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) (01.11.2016)
Get full text
Conference Proceeding
Decomposing refinement proofs using assume-guarantee reasoning
Henzinger, T.A., Qadeer, S., Rajamani, S.K.
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (2000)
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (2000)
Get full text
Conference Proceeding
Journal Article