Corina Pasareanu

Получаване на мой собствен потребителски профил

Позовавания

	Всички	От 2020
Позовавания	14492	4195
h-индекс	59	36
i10-индекс	138	88

880

440

220

660

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202558 135 193 205 302 423 422 453 465 497 557 545 633 743 763 756 651 642 734 841 827 753 821 828 873 90

Публичен достъп

Преглед на всички

47 статии

7 статии

налични

неналични

Въз основа на изисквания при финансирането

Съавтори

Willem VisserComputer Science Division, Stellenbosch UniversityПотвърден имейл адрес: cs.sun.ac.za
Matthew DwyerThomson Distinguished Professor, University of VirginiaПотвърден имейл адрес: virginia.edu
Sarfraz KhurshidProfessor, University of Texas at AustinПотвърден имейл адрес: ece.utexas.edu
Antonio FilieriAmazon Web Services, Imperial College LondonПотвърден имейл адрес: imperial.ac.uk
Kasper Søe LuckowAmazon Web ServicesПотвърден имейл адрес: amazon.com
Quoc-Sang PhanFacebookПотвърден имейл адрес: qmul.ac.uk
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas StateПотвърден имейл адрес: ksu.edu
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryПотвърден имейл адрес: jpl.nasa.gov
Koushik SenProfessor of Computer Science, University of California, BerkeleyПотвърден имейл адрес: cs.berkeley.edu
Radek PelánekMasaryk universityПотвърден имейл адрес: fi.muni.cz
Guowei YangThe University of QueenslandПотвърден имейл адрес: uq.edu.au
Pasquale MalacariaProfessor, Queen Mary University of LondonПотвърден имейл адрес: qmul.ac.uk
Cyrille ArthoKTH Royal Institute of Technology, SwedenПотвърден имейл адрес: kth.se
Rich WashingtonGoogleПотвърден имейл адрес: google.com
Saswat AnandGoogleПотвърден имейл адрес: cs.stanford.edu
Mateus BorgesImperial College LondonПотвърден имейл адрес: ic.ac.uk
Neha RungtaAmazon Web ServicesПотвърден имейл адрес: amazon.com
Grigore RosuUniversity of Illinois at Urbana ChampaignПотвърден имейл адрес: illinois.edu
Ari JonssonRector of Reykjavik UniversityПотвърден имейл адрес: ru.is
Gabor KarsaiVanderbilt UniversityПотвърден имейл адрес: vanderbilt.edu

Следене

Corina Pasareanu

CMU/NASA Ames

Потвърден имейл адрес: nasa.gov - Начална страница

Symbolic execution compositional verification abstraction


Заглавие Сортиране по цитати Сортиране по година Сортиране по заглавие	Позовавания Позовавания	Година
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	1593	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	816	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	551	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	524	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	416*	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	392	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	382	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	364	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 (4), 339-353, 2009	338	2009
Assumption generation for software component verification D Giannakopoulou, CS Pasareanu, H Barringer Proceedings 17th IEEE International Conference on Automated Software …, 2002	246	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	231	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	230	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	219	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	208	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	208	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
Planning, Scheduling and Monitoring for Airport Surface Operations. R Morris, CS Pasareanu, KS Luckow, W Malik, H Ma, TKS Kumar, ... AAAI Workshop: Planning for Hybrid Systems, 608-614, 2016	186	2016
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	178	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

Системата не може да изпълни операцията сега. Опитайте отново по-късно.

Статии 1–20

Позовавания годишно

Дублирани описания

Обединени библиографски описания

Добавяне на съавториСъавтори

Следене

Позовавания

Съавтори