io-port.net

io-port 06070753 Komuravelli, Anvesh; Păsăreanu, Corina S.; Clarke, Edmund M.

Assume-guarantee abstraction refinement for probabilistic systems. (English)

Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 310-326 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06069208 Balasubramanian, Daniel; Păsăreanu, Corina S.; Biatek, Jason; Pressburger, Thomas; Karsai, Gabor; Lowry, Michael; Whalen, Michael W.

Integrating statechart components in Polyglot. (English)

Goodloe, Alwyn E. (ed.) et al., NASA formal methods. 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28890-6/pbk). Lecture Notes in Computer Science 7226, 267-272 (2012).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06068782 Davies, Misty; Păsăreanu, Corina S.; Raman, Vishwanath

Symbolic execution enhanced system testing. (English)

Joshi, Rajeev (ed.) et al., Verified software: Theories, tools, experiments. 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27704-7/pbk). Lecture Notes in Computer Science 7152, 294-309 (2012).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06059072 Păsăreanu, Corina S.

Combining model checking and symbolic execution for software testing. (English)

Brucker, Achim D. (ed.) et al., Tests and proofs. 6th international conference, TAP 2012, Prague, Czech Republic, May 31‒June 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30472-9/pbk). Lecture Notes in Computer Science 7305, 2 (2012).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05930540 Souza, Matheus; Borges, Mateus; d’Amorim, Marcelo; Păsăreanu, Corina S.

CORAL: Solving complex constraints for symbolic pathfinder. (English)

Bobaru, Mihaela (ed.) et al., NASA formal methods. Third international symposium, NFM 2011, Pasadena, CA, USA, April 18‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20397-8/pbk). Lecture Notes in Computer Science 6617, 359-374 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05914418 Giannakopoulou, Dimitra; Păsăreanu, Corina S.

Context synthesis. (English)

Bernardo, Marco (ed.) et al., Formal methods for eternal networked software systems. 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertinoro, Italy, June 13‒18, 2011. Advanced lectures. Berlin: Springer (ISBN 978-3-642-21454-7/pbk). Lecture Notes in Computer Science 6659, 191-216 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70105714 Balasubramanian, Daniel; Pap, Gábor; Nine, Harmon; Karsai, Gabor; Lowry, Michael R.; Pasareanu, Corina S.; Pressburger, Thomas

Rapid property specification and checking for model-based formalisms (English)

International Symposium on Rapid System Prototyping, 121-127 (2011).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70170515 Balasubramanian, Daniel; Pasareanu, Corina S.; Whalen, Michael W.; Karsai, Gabor; Lowry, Michael R.

Polyglot: modeling and analysis for multiple statechart formalisms (English)

ISSTA, 45-55 (2011).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70170810 Pasareanu, Corina S.; Rungta, Neha; Visser, Willem

Symbolic execution with mixed concrete-symbolic solving (English)

ISSTA, 34-44 (2011).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70566132 Giannakopoulou, Dimitra; Pasareanu, Corina S.

Context synthesis (English)

SFM, 191-216 (2011).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70771042 Souza, Matheus; Borges, Mateus; D’amorim, Marcelo; Pasareanu, Corina S.

CORAL: solving complex constraints for symbolic pathfinder (English)

NASA Formal Methods, 359-374 (2011).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70926711 Cadar, Cristian; Godefroid, Patrice; Khurshid, Sarfraz; Pasareanu, Corina S.; Sen, Koushik; Tillmann, Nikolai; Visser, Willem

Symbolic execution for software testing in practice: preliminary assessment (English)

ICSE, 1066-1071 (2011).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70926965 Bianculli, Domenico; Giannakopoulou, Dimitra; Pasareanu, Corina S.

Interface decomposition for service compositions (English)

ICSE, 501-510 (2011).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 20001971 Alexander, Perry (ed.); Pasareanu, Corina S. (ed.); Hosking, John G. (ed.)

26th IEEE/ACM international conference on automated software engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011 (English)

ASE (2011).

14

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05854336 Giannakopoulou, Dimitra; Păsăreanu, Corina S.

Learning techniques for software verification and validation ‒ special track at ISoLAa 2010. (English)

Margaria, Tiziana (ed.) et al., Leveraging applications of formal methods, verification, and validation. 4th international symposium on leveraging applications, ISoLa 2010, Heraklion, Crete, Greece, October 18‒21, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-16557-3/pbk). Lecture Notes in Computer Science 6415, 640-642 (2010).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05772658 Singh, Rishabh; Giannakopoulou, Dimitra; Păsăreanu, Corina

Learning component interfaces with May and Must abstractions. (English)

Touili, Tayssir (ed.) et al., Computer aided verification. 22nd international conference, CAV 2010, Edinburgh, UK, July 15‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14294-9/pbk). Lecture Notes in Computer Science 6174, 527-542 (2010).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05770888 Canal, Carlos (ed.); Pasareanu, Corina S. (ed.)

Special issue: Selected papers of the 5th international workshop on formal aspects on component software (FACS’08), Málaga, Spain, September 10‒12, 2008. (English)

Sci. Comput. Program. 75, No. 10, 809-917 (2010).

17

PDF XML AMS-TeX TEXT BIBTeX

io-port 05749316 Canal, Carlos; Pasareanu, Corina S.

Preface. (English)

Electron. Notes Theor. Comput. Sci. 260, 1-2 (2010).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50206564 Giannakopoulou, Dimitra; Pasareanu, Corina S.

Editorial: automated compositional verification (English)

IET Software 4, No. 3, 179-180 (2010).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70170472 Staats, Matt; Pasareanu, Corina S.

Parallel symbolic execution for structural test generation (English)

ISSTA, 183-194 (2010).

20

PDF XML AMS-TeX TEXT BIBTeX DOI