io-port.net

io-port 06068931 Shi, Jiangfan; Cohen, Myra B.; Dwyer, Matthew B.

Integration testing of software product lines using compositional symbolic execution. (English)

de Lara, Juan (ed.) et al., Fundamental approaches to software engineering. 15th international conference, FASE 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28871-5/pbk). Lecture Notes in Computer Science 7212, 270-284 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70201778 Zhang, Pingyu; Elbaum, Sebastian G.; Dwyer, Matthew B.

Automatic generation of load tests (English)

ASE, 43-52 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70202169 Dwyer, Matthew B.

Unifying testing and analysis through behavioral coverage (English)

ASE, 2 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70669400 Li, Du; Srisa-An, Witawas; Dwyer, Matthew B.

SOS: saving time in dynamic race detection with stationary analysis (English)

OOPSLA, 35-50 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 20001657 Dwyer, Matthew B. (ed.); Tip, Frank (ed.)

Proceedings of the 20th international symposium on software testing and analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011 (English)

ISSTA (2011).

5

PDF XML AMS-TeX TEXT BIBTeX

io-port 05855422 Dwyer, Matthew B.; Purandare, Rahul; Person, Suzette

Runtime verification in context: can optimizing error detection improve fault diagnosis? (English)

Barringer, Howard (ed.) et al., Runtime verification. First international conference, RV 2010, St. Julians, Malta, November 1‒4, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16611-2/pbk). Lecture Notes in Computer Science 6418, 36-50 (2010).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05854636 Dwyer, Matthew B.

Exploiting partial success in applying automated formal methods. (English)

Dong, Jin Song (ed.) et al., Formal methods and software engineering. 12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16900-7/pbk). Lecture Notes in Computer Science 6447, 21 (2010).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05785445 Sherman, Elena; Garvin, Brady J.; Dwyer, Matthew B.

A slice-based decision procedure for type-based partial orders. (English)

Giesl, Jürgen (ed.) et al., Automated reasoning. 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14202-4/pbk). Lecture Notes in Computer Science 6173. Lecture Notes in Artificial Intelligence, 156-170 (2010).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50206473 Tkachuk, Oksana; Dwyer, Matthew B.

Environment generation for validating event-driven software using model checking (English)

IET Software 4, No. 3, 194-209 (2010).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70051779 Dwyer, Matthew B.

Exploiting partial success in applying automated formal methods (English)

ICFEM, 21 (2010).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70071193 Dwyer, Matthew B.; Purandare, Rahul; Person, Suzette

Runtime verification in context: can optimizing error detection improve fault diagnosis? (English)

RV, 36-50 (2010).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70118018 Sherman, Elena; Garvin, Brady J.; Dwyer, Matthew B.

A slice-based decision procedure for type-based partial orders (English)

IJCAR, 156-170 (2010).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70668323 Purandare, Rahul; Dwyer, Matthew B.; Elbaum, Sebastian G.

Monitor optimization via stutter-equivalent loop transformation (English)

OOPSLA, 270-285 (2010).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70814754 Anthony, David J.; Bennett, William P.; Vuran, Mehmet C.; Dwyer, Matthew B.; Elbaum, Sebastian G.; Chavez-Ramirez, Felipe

Simulating and testing mobile wireless sensor networks (English)

MSWiM, 49-58 (2010).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70933538 Dwyer, Matthew B.; Elbaum, Sebastian G.

Unifying verification and validation techniques: relating behavior and properties through partial evidence (English)

FoSER, 93-98 (2010).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70943635 Zhu, Haitao; Goddard, Steve; Dwyer, Matthew B.

Selecting server parameters for predictable runtime monitoring (English)

IEEE Real-Time and Embedded Technology and Applications Symposium, 227-236 (2010).

16

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 50016388 Elbaum, Sebastian G.; Chin, Hui Nee; Dwyer, Matthew B.; Jorde, Matthew

Carving and replaying differential unit test cases from system test cases (English)

IEEE Trans. Software Eng. 35, No. 1, 29-45 (2009).

17

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70068698 Bellas, Nikolaos; Chai, Sek M.; Dwyer, Malcolm; Linzmeier, Dan; López-Lagunas, Abelardo

Proteus: an architectural synthesis tool based on the stream programming paradigm (English)

FPL, 596-599 (2009).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70092077 Liming, Lee; Navarro, John-Paul; Blau, Eric; Brechin, Jason; Catlett, Charlie; Dahan, Maytal; Diehl, Diana; Dooley, Rion; Dwyer, Michael; Ericson, Kate; Foster, Ian T.; Hanna, Ed; Hart, David L.; Jordan, Chris; Light, Rob; Martin, Stuart; Mcgee, John; Pearlman, Laura; Reilly, Jason; Scavo, Tom; Shapiro, Michael; Smallen, Shava; Smith, Warren; Wilkins-Diehr, Nancy

Teragrid’s integrated information service (English)

SC-GCE (2009).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70510883 Bellas, Nikolaos; Chai, Sek M.; Dwyer, Malcolm; Linzmeier, Dan

Real-time fisheye Lens distortion correction using automatically generated streaming accelerators (English)

FCCM, 149-156 (2009).

20

PDF XML AMS-TeX TEXT BIBTeX URL