-
1
-
-
0022043004
-
Selecting software test data using data flow information
-
Rapps, S., Weyuker, E.J.: Selecting software test data using data flow information. IEEE Transaction Software Engineering 11(4), 367-375 (1985)
-
(1985)
IEEE Transaction Software Engineering
, vol.11
, Issue.4
, pp. 367-375
-
-
Rapps, S.1
Weyuker, E.J.2
-
2
-
-
56549087678
-
Coverage testing criteria, for messagepassing parallel programs
-
Vergilio, S.R., Souza, S.R.S., Souza, P.S.L.: Coverage testing criteria, for messagepassing parallel programs. In: LATW 2005 - 6th IEEE Latin-American Test Workshop, Salvador, Ba, pp. 161-166 (2005)
-
(2005)
LATW 2005 - 6th IEEE Latin-American Test Workshop, Salvador, Ba
, pp. 161-166
-
-
Vergilio, S.R.1
Souza, S.R.S.2
Souza, P.S.L.3
-
3
-
-
84886872501
-
Valipar: A testing tool for message-passing parallel programs
-
Taipei-Taiwan, pp
-
Souza, S., Vergilio, S., Souza, P., Simão, A., Bliscosque, T., Lima, A., Hausen, A.: Valipar: A testing tool for message-passing parallel programs. In: International Conference on Software knowledge and Software Engineering (SEKE 2005), Taipei-Taiwan, pp. 386-391 (2005)
-
(2005)
International Conference on Software knowledge and Software Engineering (SEKE
, pp. 386-391
-
-
Souza, S.1
Vergilio, S.2
Souza, P.3
Simão, A.4
Bliscosque, T.5
Lima, A.6
Hausen, A.7
-
4
-
-
47749126584
-
Structural testing for semaphorebased multithread programs
-
ICCS 2008, International Conference on Computational Science, Krakow, Springer, Heidelberg , accepted
-
Sarmanho, F., Souza, P., Souza, S., Simão, A.: Structural testing for semaphorebased multithread programs. In: ICCS 2008 - International Conference on Computational Science, Krakow. LNCS, pp. 1-10. Springer, Heidelberg (2008) (accepted)
-
(2008)
LNCS
, pp. 1-10
-
-
Sarmanho, F.1
Souza, P.2
Souza, S.3
Simão, A.4
-
5
-
-
84890799400
-
A tool for structural testing of MPI programs
-
March
-
Hausen, A.C., Vergilio, S.R., Souza, S.R.S., Souza, P.S.L., Simao, A.S.: A tool for structural testing of MPI programs. In: 8th IEEE LATW (March 2007)
-
(2007)
8th IEEE LATW
-
-
Hausen, A.C.1
Vergilio, S.R.2
Souza, S.R.S.3
Souza, P.S.L.4
Simao, A.S.5
-
6
-
-
85111790571
-
Structural testing criteria for message-passing parallel programs
-
accepted
-
Souza, S., Vergilio, S., Souza, P., Simão, A., Hausen, A.: Structural testing criteria for message-passing parallel programs. Concurrency and Computation: Practice and Experience, 1-24 (2008) (accepted)
-
(2008)
Concurrency and Computation: Practice and Experience
, pp. 1-24
-
-
Souza, S.1
Vergilio, S.2
Souza, P.3
Simão, A.4
Hausen, A.5
-
7
-
-
0026827806
-
Structural testing of concurrent programs
-
Taylor, R.N., Levine, D.L., Kelly, C.: Structural testing of concurrent programs. IEEE Transaction Software Engineering 18(3), 206-215 (1992)
-
(1992)
IEEE Transaction Software Engineering
, vol.18
, Issue.3
, pp. 206-215
-
-
Taylor, R.N.1
Levine, D.L.2
Kelly, C.3
-
8
-
-
84988036195
-
All-du-path coverage for parallel programs
-
Yang, C.S., Souter, A.L., Pollock, L.L.: All-du-path coverage for parallel programs. In: International Symposium on Software Testing and Analysis (ISSTA 1998), ACM-Software Engineering Notes, pp. 153-162 (1998)
-
(1998)
International Symposium on Software Testing and Analysis (ISSTA 1998), ACM-Software Engineering Notes
, pp. 153-162
-
-
Yang, C.S.1
Souter, A.L.2
Pollock, L.L.3
-
10
-
-
55349146842
-
A language for the description of program instrumentation and the automatic generation of instrumenters
-
Simão, A.S., Vincenzi, A.M.R., Maldonado, J.C., Santana, A.C.L.: A language for the description of program instrumentation and the automatic generation of instrumenters. CLEI Electronic Journal 6(1) (2003)
-
(2003)
CLEI Electronic Journal
, vol.6
, Issue.1
-
-
Simão, A.S.1
Vincenzi, A.M.R.2
Maldonado, J.C.3
Santana, A.C.L.4
|