io-port.net

io-port 05921653 Cangussu, João W.; Haider, Syed Waseem; Cooper, Kendra; Baron, Michael

On the selection of software defect estimation techniques. (English)

Softw. Test., Verif. Reliab. 21, No. 2, 125-152 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05921652 Garousi, Vahid

Fault-driven stress testing of distributed real-time software based on UML models. (English)

Softw. Test., Verif. Reliab. 21, No. 2, 101-124 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05921651 Cartaxo, Emanuela G.; Machado, Patrícia D.L.; Neto, Francisco G.Oliveira

On the use of a similarity function for test case selection in the context of model-based testing. (English)

Softw. Test., Verif. Reliab. 21, No. 2, 75-100 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05921650 Offutt, Jeff

Status of the journal. (English)

Softw. Test., Verif. Reliab. 21, No. 2, 73 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05890832 Grieskamp, Wolfgang; Kicillof, Nicolas; Stobie, Keith; Braberman, Víctor A.

Model-based quality assurance of protocol documentation: tools and methodology. (English)

Softw. Test., Verif. Reliab. 21, No. 1, 55-71 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05890829 Bardin, Sébastien; Herrmann, Philippe

OSMOSE: automatic structural testing of executables. (English)

Softw. Test., Verif. Reliab. 21, No. 1, 29-54 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05890826 Ciupa, Ilinca; Pretschner, Alexander; Oriol, Manuel; Leitner, Andreas; Meyer, Bertrand

On the number and nature of faults found by random testing. (English)

Softw. Test., Verif. Reliab. 21, No. 1, 3-28 (2011).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05890824 Hierons, Robert M.; Mathur, Aditya

ICST 2008 special issue. (English)

Softw. Test., Verif. Reliab. 21, No. 1, 1 (2011).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05890797 Hayes, Jane Huffman; Offutt, Jeff

Recognizing authors: an examination of the consistent programmer hypothesis. (English)

Softw. Test., Verif. Reliab. 20, No. 4, 329-356 (2010).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05890796 Alexander, Roger T.; Offutt, Jeff; Stefik, Andreas

Testing coupling relationships in object-oriented programs. (English)

Softw. Test., Verif. Reliab. 20, No. 4, 291-327 (2010).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05890795 Offutt, Jeff

Editorial: ethics and publishing. (English)

Softw. Test., Verif. Reliab. 20, No. 4, 289-290 (2010).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05742674 Fiondella, Lance; Gokhale, Swapna S.

Importance measures for modular software with uncertain parameters. (English)

Softw. Test., Verif. Reliab. 20, No. 1, 63-85 (2010).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05742658 Kim, Tai Hyo; Bang, Hojung; Cha, Sung Deok

A systematic representation of path constraints for implicit path enumeration technique. (English)

Softw. Test., Verif. Reliab. 20, No. 1, 39-61 (2010).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05742643 Cambronero, María-Emilia; Ruiz, Valentín Valero; Díaz, Gregorio

Verification of real-time systems design. (English)

Softw. Test., Verif. Reliab. 20, No. 1, 3-37 (2010).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05742639 Offutt, Jeff

Editorial: OOP and discrete math. (English)

Softw. Test., Verif. Reliab. 20, No. 1, 1-2 (2010).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05742614 Thomas, Graham

Pragmatic software testing. By rex black. Published by wiley. ISBN: 978-0-470-12790-2, 366 pages. (English)

Softw. Test., Verif. Reliab. 19, No. 4, 335 (2009).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05742613 Kundu, Debasish; Sarma, Monalisa; Samanta, Debasis; Mall, Rajib

System testing for object-oriented systems with test case prioritization. (English)

Softw. Test., Verif. Reliab. 19, No. 4, 297-333 (2009).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05742612 Alalfi, Manar H.; Cordy, James R.; Dean, Thomas R.

Modelling methods for web application verification and testing: state of the art. (English)

Softw. Test., Verif. Reliab. 19, No. 4, 265-296 (2009).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05742611 Offutt, Jeff

Editorial: testing my new building. (English)

Softw. Test., Verif. Reliab. 19, No. 4, 263-264 (2009).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05742568 Fraser, Gordon; Wotawa, Franz; Ammann, Paul

Testing with model checkers: a survey. (English)

Softw. Test., Verif. Reliab. 19, No. 3, 215-261 (2009).

20

PDF XML AMS-TeX TEXT BIBTeX DOI