-
1
-
-
0024924686
-
-
Tai KC. Testing of concurrent software. Proceedings of the 13th Annual International Computer Software and Applications Conference COMPSAC, 1989; 62-64
-
Tai KC. Testing of concurrent software. Proceedings of the 13th Annual International Computer Software and Applications Conference (COMPSAC), 1989; 62-64.
-
-
-
-
2
-
-
0000422707
-
Context-sensitive synchronization-sensitive analysis is undecidable
-
Ramalingam G. Context-sensitive synchronization-sensitive analysis is undecidable. ACM Transactions on Programming Languages and Systems 2000; 22(2):416-430.
-
(2000)
ACM Transactions on Programming Languages and Systems
, vol.22
, Issue.2
, pp. 416-430
-
-
Ramalingam, G.1
-
7
-
-
0036315513
-
Multithread Java program test generation
-
Edelstein O, Farchi E, Nir Y, Ratsaby G, Ur S. Multithread Java program test generation. IBM Systems Journal 2002; 41(1):111-125.
-
(2002)
IBM Systems Journal
, vol.41
, Issue.1
, pp. 111-125
-
-
Edelstein, O.1
Farchi, E.2
Nir, Y.3
Ratsaby, G.4
Ur, S.5
-
8
-
-
17044385800
-
-
Stoller SD. Testing concurrent Java programs using randomized scheduling. Proceedings of the Second Workshop on Runtime Verification RV~, also appears in Electronic Notes in Theoretical Computer Science, 70, no. 4. Elsevier: Amsterdam, 2002; 1-16.
-
Stoller SD. Testing concurrent Java programs using randomized scheduling. Proceedings of the Second Workshop on Runtime Verification (RV~, also appears in Electronic Notes in Theoretical Computer Science, vol. 70, no. 4. Elsevier: Amsterdam, 2002; 1-16.
-
-
-
-
9
-
-
0026711426
-
A path analysis approach to concurrent program testing
-
Yang RD, Chung CG. A path analysis approach to concurrent program testing. Information and Software Technology 1992; 34(1):43-56.
-
(1992)
Information and Software Technology
, vol.34
, Issue.1
, pp. 43-56
-
-
Yang, R.D.1
Chung, C.G.2
-
12
-
-
0033697422
-
Bandera: Extracting finite-state models from Java source code
-
June
-
Corbett J, Dwyer M, Hatcliff J, Laubach S, Pasareanu C, Robby, Zheng H. Bandera: Extracting finite-state models from Java source code. Proceedings of International Conference on Software Engineering, June 2000; 439-448.
-
(2000)
Proceedings of International Conference on Software Engineering
, pp. 439-448
-
-
Corbett, J.1
Dwyer, M.2
Hatcliff, J.3
Laubach, S.4
Pasareanu, C.5
Robby6
Zheng, H.7
-
14
-
-
24144461208
-
Software model checking: The VeriSoft approach
-
Godefroid P. Software model checking: The VeriSoft approach. Formal Methods in System Design 2005; 26(2):77-101.
-
(2005)
Formal Methods in System Design
, vol.26
, Issue.2
, pp. 77-101
-
-
Godefroid, P.1
-
15
-
-
18744376886
-
-
Nilsson R, Offutt J, Andler SF. Mutation-based testing criteria for timeliness. Proceedings of the 28th IEEE Annual Computer Software and Applications Conference COMPSAC, 2004; 306-312
-
Nilsson R, Offutt J, Andler SF. Mutation-based testing criteria for timeliness. Proceedings of the 28th IEEE Annual Computer Software and Applications Conference (COMPSAC), 2004; 306-312.
-
-
-
-
18
-
-
0013091084
-
-
Ph.D. Thesis, Royal Institute of Technology, KTH, Stockholm, Sweden
-
Thane H. Monitoring, testing and debugging of distributed real-time systems. Ph.D. Thesis, Royal Institute of Technology, KTH, Stockholm, Sweden, 2000.
-
(2000)
Monitoring, testing and debugging of distributed real-time systems
-
-
Thane, H.1
-
19
-
-
0000673732
-
The AETG system: An approach to testing based on combinatorial design
-
Cohen DM, Dalal SR, Fredman ML, Patton GC. The AETG system: An approach to testing based on combinatorial design. IEEE Transactions on Software Engineering 1997; 23(7):437-444.
-
(1997)
IEEE Transactions on Software Engineering
, vol.23
, Issue.7
, pp. 437-444
-
-
Cohen, D.M.1
Dalal, S.R.2
Fredman, M.L.3
Patton, G.C.4
-
21
-
-
0034431994
-
Automating test case generation for the new generation mission software system
-
Tung YW, Aldiwan WS. Automating test case generation for the new generation mission software system. Proceedings of IEEE Aerospace Conference, 2000; 431-437.
-
(2000)
Proceedings of IEEE Aerospace Conference
, pp. 431-437
-
-
Tung, Y.W.1
Aldiwan, W.S.2
-
27
-
-
0032660359
-
Model-based testing in practice
-
Dalal SR, Jain A, Karunanithi N, Leaton JM, Lott CM, Patton GC, Horowitz BM. Model-based testing in practice. Proceedings of International Conference on Software Engineering (ICSE), 1999; 285-294.
-
(1999)
Proceedings of International Conference on Software Engineering (ICSE)
, pp. 285-294
-
-
Dalal, S.R.1
Jain, A.2
Karunanithi, N.3
Leaton, J.M.4
Lott, C.M.5
Patton, G.C.6
Horowitz, B.M.7
-
29
-
-
34548122473
-
An evaluation of combination testing strategies
-
Grindal M, Lindström B, Offutt J, Andler SF. An evaluation of combination testing strategies. Empirical Software Engineering 2006; 11(4):583-611.
-
(2006)
Empirical Software Engineering
, vol.11
, Issue.4
, pp. 583-611
-
-
Grindal, M.1
Lindström, B.2
Offutt, J.3
Andler, S.F.4
-
32
-
-
0017996760
-
Time, clocks, and the ordering of events in a distributed system
-
Lamport L. Time, clocks, and the ordering of events in a distributed system. Communication of ACM 1978; 21(7):558-565.
-
(1978)
Communication of ACM
, vol.21
, Issue.7
, pp. 558-565
-
-
Lamport, L.1
-
34
-
-
0019439018
-
An optimal algorithm for mutual exclusion in computer networks
-
Ricart G, Agrawala AK. An optimal algorithm for mutual exclusion in computer networks. Communications of the ACM 1981; 24(1):9-17.
-
(1981)
Communications of the ACM
, vol.24
, Issue.1
, pp. 9-17
-
-
Ricart, G.1
Agrawala, A.K.2
-
36
-
-
20844460416
-
MuJava: An automated class mutation system
-
Ma Y, Offutt J, Kwon Y. MuJava: An automated class mutation system. Journal of Software Testing, Verification and Reliability 2005; 15(2):97-133.
-
(2005)
Journal of Software Testing, Verification and Reliability
, vol.15
, Issue.2
, pp. 97-133
-
-
Ma, Y.1
Offutt, J.2
Kwon, Y.3
-
37
-
-
37249047772
-
-
μJava Home Page, http://ise.gmu.edu/~ofut/mujava/
-
μJava Home Page, http://ise.gmu.edu/~ofut/mujava/
-
-
-
-
38
-
-
0030121550
-
An experimental determination of sufficient mutation operators
-
Offutt J, Lee A, Rothermel G, Untch R, Zapf C. An experimental determination of sufficient mutation operators. ACM Transactions on Software Engineering Methodology 1996; 5(2):99-118.
-
(1996)
ACM Transactions on Software Engineering Methodology
, vol.5
, Issue.2
, pp. 99-118
-
-
Offutt, J.1
Lee, A.2
Rothermel, G.3
Untch, R.4
Zapf, C.5
|