Corina Pasareanu

Citée par

	Toutes	Depuis 2018
Citations	13147	4439
indice h	57	33
indice i10	128	89

840

420

210

630

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202361 123 190 209 301 413 426 446 471 516 544 527 623 744 773 753 671 655 707 822 812 741 781 575

Accès public

Tout afficher

36 articles

6 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Willem VisserComputer Science Division, Stellenbosch UniversityAdresse e-mail validée de cs.sun.ac.za
Matthew DwyerUniversity of VirginiaAdresse e-mail validée de virginia.edu
Sarfraz KhurshidProfessor, University of Texas at AustinAdresse e-mail validée de ece.utexas.edu
Antonio FilieriAWS, Imperial College LondonAdresse e-mail validée de imperial.ac.uk
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas State UniversityAdresse e-mail validée de ksu.edu
Kasper Søe LuckowAmazon Web ServicesAdresse e-mail validée de amazon.com
Quoc-Sang PhanFacebookAdresse e-mail validée de qmul.ac.uk
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryAdresse e-mail validée de jpl.nasa.gov
Koushik SenProfessor of Computer Science, University of California, BerkeleyAdresse e-mail validée de cs.berkeley.edu
Radek PelánekMasaryk universityAdresse e-mail validée de fi.muni.cz
Guowei YangThe University of QueenslandAdresse e-mail validée de uq.edu.au
Pasquale MalacariaProfessor, Queen Mary University of LondonAdresse e-mail validée de qmul.ac.uk
Cyrille ArthoKTH Royal Institute of Technology, SwedenAdresse e-mail validée de kth.se
Rich WashingtonGoogleAdresse e-mail validée de google.com
Saswat AnandGoogleAdresse e-mail validée de cs.stanford.edu
Mateus BorgesImperial College LondonAdresse e-mail validée de ic.ac.uk
Grigore RosuUniversity of Illinois at Urbana ChampaignAdresse e-mail validée de illinois.edu
Neha RungtaAmazon Web ServicesAdresse e-mail validée de amazon.com
Gabor KarsaiVanderbilt UniversityAdresse e-mail validée de vanderbilt.edu
Ari JonssonRector of Reykjavik UniversityAdresse e-mail validée de ru.is

Suivre

Corina Pasareanu

CMU/NASA Ames

Adresse e-mail validée de nasa.gov - Page d'accueil

Symbolic execution compositional verification abstraction


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	1578	2000
Generalized symbolic execution for model checking and testing S Khurshid, CS Păsăreanu, W Visser International Conference on Tools and Algorithms for the Construction and …, 2003	786	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	695	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	526	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	487	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	369	2008
Symbolic PathFinder: symbolic execution of Java bytecode CS Păsăreanu, N Rungta Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010	363	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	338	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	315	2009
Assumption generation for software component verification D Giannakopoulou, CS Pasareanu, H Barringer Proceedings 17th IEEE International Conference on Automated Software …, 2002	237	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	224	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
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	205	2008
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	204	2006
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
Parallel symbolic execution for structural test generation M Staats, C Pǎsǎreanu Proceedings of the 19th international symposium on Software testing and …, 2010	196	2010
Verification of Java programs using symbolic execution and invariant generation CS Păsăreanu, W Visser International SPIN Workshop on Model Checking of Software, 164-181, 2004	175	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	165	2008
Proof rules for automated compositional verification through learning H Barringer, D Giannakopoulou, CS Pasareanu SAVBS 2003, 2003	155	2003

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs