Corina Pasareanu

Citirano

	Sve	Od 2018.
Citati	12834	4126
H-indeks	56	33
i10-indeks	126	86

820

410

205

615

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202361 127 189 203 304 395 418 456 476 514 540 526 621 752 782 752 674 659 714 811 818 726 780 276

Javni pristup

Prikaži sve

34 članka

6 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Willem VisserComputer Science Division, Stellenbosch UniversityPotvrđena adresa e-pošte na cs.sun.ac.za
Matthew DwyerUniversity of VirginiaPotvrđena adresa e-pošte na virginia.edu
Sarfraz KhurshidProfessor, University of Texas at AustinPotvrđena adresa e-pošte na ece.utexas.edu
Antonio FilieriAWS, Imperial College LondonPotvrđena adresa e-pošte na imperial.ac.uk
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas State UniversityPotvrđena adresa e-pošte na ksu.edu
Kasper Søe LuckowAmazon Web ServicesPotvrđena adresa e-pošte na amazon.com
Quoc-Sang PhanFacebookPotvrđena adresa e-pošte na qmul.ac.uk
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryPotvrđena adresa e-pošte na jpl.nasa.gov
Koushik SenProfessor of Computer Science, University of California, BerkeleyPotvrđena adresa e-pošte na cs.berkeley.edu
Radek PelánekMasaryk universityPotvrđena adresa e-pošte na fi.muni.cz
Guowei YangThe University of QueenslandPotvrđena adresa e-pošte na uq.edu.au
Pasquale MalacariaProfessor, Queen Mary University of LondonPotvrđena adresa e-pošte na qmul.ac.uk
Cyrille ArthoKTH Royal Institute of Technology, SwedenPotvrđena adresa e-pošte na kth.se
Rich WashingtonGooglePotvrđena adresa e-pošte na google.com
Saswat AnandGooglePotvrđena adresa e-pošte na cs.stanford.edu
Mateus BorgesImperial College LondonPotvrđena adresa e-pošte na ic.ac.uk
Grigore RosuUniversity of Illinois at Urbana ChampaignPotvrđena adresa e-pošte na illinois.edu
Neha RungtaAmazon Web ServicesPotvrđena adresa e-pošte na amazon.com
Gabor KarsaiVanderbilt UniversityPotvrđena adresa e-pošte na vanderbilt.edu
Ari JonssonRector of Reykjavik UniversityPotvrđena adresa e-pošte na ru.is

Prati

Corina Pasareanu

CMU/NASA Ames

Potvrđena adresa e-pošte na nasa.gov - Početna stranica

Symbolic execution compositional verification abstraction


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
Bandera: Extracting finite-state models from Java source code JC Corbett, MB Dwyer, J Hatcliff, S Laubach, CS Păsăreanu, Robby, ... Proceedings of the 22nd international conference on Software engineering …, 2000	1563	2000
Generalized symbolic execution for model checking and testing S Khurshid, CS Păsăreanu, W Visser Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003	783	2003
Test input generation with Java PathFinder W Visser, CS Pǎsǎreanu, S Khurshid Proceedings of the 2004 ACM SIGSOFT international symposium on Software …, 2004	682	2004
Learning assumptions for compositional verification JM Cobleigh, D Giannakopoulou, CS Păsăreanu Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003	517	2003
Symbolic execution for software testing in practice: preliminary assessment C Cadar, P Godefroid, S Khurshid, CS Păsăreanu, K Sen, N Tillmann, ... Proceedings of the 33rd International Conference on Software Engineering …, 2011	471	2011
JPF–SE: A symbolic execution extension to java pathfinder S Anand, CS Păsăreanu, W Visser Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007	408*	2007
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software CS Pǎsǎreanu, PC Mehlitz, DH Bushnell, K Gundy-Burlet, M Lowry, ... Proceedings of the 2008 international symposium on Software testing and …, 2008	367	2008
Symbolic PathFinder: symbolic execution of Java bytecode CS Păsăreanu, N Rungta Proceedings of the IEEE/ACM international conference on Automated software …, 2010	349	2010
Differential symbolic execution S Person, MB Dwyer, S Elbaum, CS Pǎsǎreanu Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008	330	2008
A survey of new trends in symbolic execution for software testing and analysis CS Păsăreanu, W Visser International journal on software tools for technology transfer 11, 339-353, 2009	310	2009
Assumption generation for software component verification D Giannakopoulou, CS Pasareanu, H Barringer Proceedings 17th IEEE International Conference on Automated Software …, 2002	235	2002
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis CS Păsăreanu, W Visser, D Bushnell, J Geldenhuys, P Mehlitz, N Rungta Automated Software Engineering 20, 391-425, 2013	223	2013
Testing android apps through symbolic execution N Mirzaei, S Malek, CS Păsăreanu, N Esfahani, R Mahmood ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012	206	2012
Tool-supported program abstraction for finite-state verification MB Dwyer, J Hatcliff, R Joehanes, S Laubach, CS Pasreanu, RH Zheng, ... Proceedings of the 23rd International Conference on Software Engineering …, 2001	203	2001
Test input generation for Java containers using state matching W Visser, CS Pǎsǎreanu, R Pelánek Proceedings of the 2006 international symposium on Software testing and …, 2006	202	2006
Automated assume-guarantee reasoning by abstraction refinement M Gheorghiu Bobaru, CS Păsăreanu, D Giannakopoulou Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008	197	2008
Parallel symbolic execution for structural test generation M Staats, C Pǎsǎreanu Proceedings of the 19th international symposium on Software testing and …, 2010	193	2010
Verification of Java programs using symbolic execution and invariant generation CS Păsăreanu, W Visser Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain …, 2004	174	2004
Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning CS Păsăreanu, D Giannakopoulou, MG Bobaru, JM Cobleigh, ... Formal Methods in System Design 32, 175-205, 2008	163	2008
Reliability analysis in symbolic pathfinder A Filieri, CS Păsăreanu, W Visser 2013 35th International Conference on Software Engineering (ICSE), 622-631, 2013	152	2013

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori