-
1
-
-
50649110977
-
State-based testing of Ajax web applications
-
April 9-11
-
P. T. Alessandro Marchetto and F. Ricca. State-based testing of Ajax web applications. In Proceedings of the 1st International Conference on Software Testing, Verification, and Valication, pages 121-130, April 9-11, 2008.
-
(2008)
Proceedings of the 1st International Conference on Software Testing, Verification, and Valication
, pp. 121-130
-
-
Alessandro Marchetto, P.T.1
Ricca, F.2
-
2
-
-
0036980185
-
Korat: Automated testing based on java predicates
-
C. Boyapati, S. Khurshid. and D. Marinov. Korat: automated testing based on java predicates. In ISSTA '02, pages 123-133, 2002.
-
(2002)
ISSTA '02
, pp. 123-133
-
-
Boyapati, C.1
Khurshid, S.2
Marinov, D.3
-
4
-
-
84949429551
-
Model checking graphical user interfaces using abstractions
-
M. B. Dwyer, V. Canrr, and L. Hines. Model checking graphical user interfaces using abstractions. In ESEC/FSE '97, pages 244-261, 1997.
-
(1997)
ESEC/FSE '97
, pp. 244-261
-
-
Dwyer, M.B.1
Canrr, V.2
Hines, L.3
-
5
-
-
40449126880
-
Detecting buffer overflow via automatic test input data generation
-
C. D. Grosso. G. Antoniol, E. Merlo, and P. Galinier. Detecting buffer overflow via automatic test input data generation. Comput. Open Res., 35(10):3125-3143, 2008.
-
(2008)
Comput. Open Res
, vol.35
, Issue.10
, pp. 3125-3143
-
-
Grosso, C.D.1
Antoniol, G.2
Merlo, E.3
Galinier, P.4
-
6
-
-
33645811727
-
Optimizing the length of checking sequences
-
R. M. Hierons and H. Ural. Optimizing the length of checking sequences. IEEE Transactions on Computers, 55(5):618-629, 2006.
-
(2006)
IEEE Transactions on Computers
, vol.55
, Issue.5
, pp. 618-629
-
-
Hierons, R.M.1
Ural, H.2
-
7
-
-
14544301479
-
Finding bugs is easy
-
D. Hovemeyer and W. Pugh. Finding bugs is easy. SIGPLAN Not., 39(12):92-106, 2004.
-
(2004)
SIGPLAN Not
, vol.39
, Issue.12
, pp. 92-106
-
-
Hovemeyer, D.1
Pugh, W.2
-
8
-
-
34250772325
-
An empirical study of test case filtering techniques based on exercising information flows
-
W. Masri, A. Podgurski, and D. Leon. An empirical study of test case filtering techniques based on exercising information flows. IEEE Trans. on Soft. Eng., 33(7):454-477, 2007.
-
(2007)
IEEE Trans. on Soft. Eng
, vol.33
, Issue.7
, pp. 454-477
-
-
Masri, W.1
Podgurski, A.2
Leon, D.3
-
9
-
-
34247384010
-
The species per path approach to search-based test data generation
-
P. McMinn, M. Harman, D. Binkley, and P. Tonella. The species per path approach to search-based test data generation. In ISSTA '06, pages 13-24, 2006.
-
(2006)
ISSTA '06
, pp. 13-24
-
-
McMinn, P.1
Harman, M.2
Binkley, D.3
Tonella, P.4
-
10
-
-
56149089811
-
Automatically repairing event sequencebased GUI test suites for regression testing
-
A. M. Memon. Automatically repairing event sequencebased GUI test suites for regression testing. ACM Trans. on Softw. Eng. and Method., 2008.
-
(2008)
ACM Trans. on Softw. Eng. and Method
-
-
Memon, A.M.1
-
12
-
-
30344472992
-
Studying the fault-detection effectiveness of GUI test cases for rapidly evolving software
-
A. M. Memon and Q. Xie. Studying the fault-detection effectiveness of GUI test cases for rapidly evolving software. IEEE Trans. Softw. Eng., 31(10):884-896, 2005.
-
(2005)
IEEE Trans. Softw. Eng
, vol.31
, Issue.10
, pp. 884-896
-
-
Memon, A.M.1
Xie, Q.2
-
13
-
-
0016992793
-
Automatic generation of floating-point test data
-
W. Miller and D. L. Spooner. Automatic generation of floating-point test data. IEEE Trans. Software Eng., 2(3):223-226, 1976.
-
(1976)
IEEE Trans. Software Eng
, vol.2
, Issue.3
, pp. 223-226
-
-
Miller, W.1
Spooner, D.L.2
-
14
-
-
34548785574
-
Feedbackdirected random test generation
-
May 23-25
-
C. Pacheco, S. K. Lahiri. M. D. Ernst, and T. Ball. Feedbackdirected random test generation. In ICSE '07, pages 396-405, May 23-25, 2007.
-
(2007)
ICSE '07
, pp. 396-405
-
-
Pacheco, C.1
Lahiri, S.K.2
Ernst, M.D.3
Ball, T.4
-
16
-
-
33745196010
-
Tool-assisted unit-test generation and selection based on operational abstractions
-
T. Xie and D. Notkin. Tool-assisted unit-test generation and selection based on operational abstractions. Autom. Softw. Eng., 13(3):345-371, 2006.
-
(2006)
Autom. Softw. Eng
, vol.13
, Issue.3
, pp. 345-371
-
-
Xie, T.1
Notkin, D.2
-
17
-
-
34548745202
-
-
X. Yuan and A. M. Memon. Using GUI run-time state as feedback to generate test cases. In ICSE '07, pages 396-405. May 23-25, 2007.
-
X. Yuan and A. M. Memon. Using GUI run-time state as feedback to generate test cases. In ICSE '07, pages 396-405. May 23-25, 2007.
-
-
-
|