Corina Pasareanu

Geciteerd door

	Alles	Sinds 2019
Citaties	14318	4868
h-index	60	37
i10-index	136	94

840

420

210

630

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202459 129 188 204 297 423 427 449 465 506 546 536 626 749 774 744 660 658 730 837 819 749 828 835 793

Openbare toegang

Alles bekijken

45 artikelen

7 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Willem VisserComputer Science Division, Stellenbosch UniversityGeverifieerd e-mailadres voor cs.sun.ac.za
Matthew DwyerThomson Distinguished Professor, University of VirginiaGeverifieerd e-mailadres voor virginia.edu
Sarfraz KhurshidProfessor, University of Texas at AustinGeverifieerd e-mailadres voor ece.utexas.edu
Antonio FilieriAmazon Web Services, Imperial College LondonGeverifieerd e-mailadres voor imperial.ac.uk
Kasper Søe LuckowAmazon Web ServicesGeverifieerd e-mailadres voor amazon.com
Quoc-Sang PhanFacebookGeverifieerd e-mailadres voor qmul.ac.uk
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas StateGeverifieerd e-mailadres voor ksu.edu
Koushik SenProfessor of Computer Science, University of California, BerkeleyGeverifieerd e-mailadres voor cs.berkeley.edu
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryGeverifieerd e-mailadres voor jpl.nasa.gov
Radek PelánekMasaryk universityGeverifieerd e-mailadres voor fi.muni.cz
Guowei YangThe University of QueenslandGeverifieerd e-mailadres voor uq.edu.au
Saswat AnandGoogleGeverifieerd e-mailadres voor cs.stanford.edu
Pasquale MalacariaProfessor, Queen Mary University of LondonGeverifieerd e-mailadres voor qmul.ac.uk
Cyrille ArthoKTH Royal Institute of Technology, SwedenGeverifieerd e-mailadres voor kth.se
Rich WashingtonGoogleGeverifieerd e-mailadres voor google.com
Mateus BorgesImperial College LondonGeverifieerd e-mailadres voor ic.ac.uk
Neha RungtaAmazon Web ServicesGeverifieerd e-mailadres voor amazon.com
Grigore RosuUniversity of Illinois at Urbana ChampaignGeverifieerd e-mailadres voor illinois.edu
Ari JonssonRector of Reykjavik UniversityGeverifieerd e-mailadres voor ru.is
Gabor KarsaiVanderbilt UniversityGeverifieerd e-mailadres voor vanderbilt.edu

Volgen

Corina Pasareanu

CMU/NASA Ames

Geverifieerd e-mailadres voor nasa.gov - Homepage

Symbolic execution compositional verification abstraction


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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	1580	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	819	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	730	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	540	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	520	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	422*	2007
Symbolic PathFinder: symbolic execution of Java bytecode CS Păsăreanu, N Rungta Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010	393	2010
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	380	2008
Differential symbolic execution S Person, MB Dwyer, S Elbaum, CS Pǎsǎreanu Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008	359	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	335	2009
Assumption generation for software component verification D Giannakopoulou, CS Pasareanu, H Barringer Proceedings 17th IEEE International Conference on Automated Software …, 2002	244	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	230	2013
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	229	2008
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	222	2012
Parallel symbolic execution for structural test generation M Staats, C Pǎsǎreanu Proceedings of the 19th international symposium on Software testing and …, 2010	209	2010
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	205	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	204	2006
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	179	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	175	2008
Proof rules for automated compositional verification through learning H Barringer, D Giannakopoulou, CS Pasareanu SAVBS 2003, 2003	170	2003

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs