-
1
-
-
56249084282
-
Random test run length and effectiveness
-
Washington, DC, USA, IEEE Computer Society
-
J. Andrews, A. Groce, M. Weston, and R.-G. Xu. Random test run length and effectiveness. In Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, ASE, pages 19-28, Washington, DC, USA, 2008. IEEE Computer Society.
-
(2008)
Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, ASE
, pp. 19-28
-
-
Andrews, J.1
Groce, A.2
Weston, M.3
Xu, R.-G.4
-
2
-
-
77955417029
-
Proofs from tests
-
N. E. Beckman, A. V. Nori, S. K. Rajamani, R. J. Simmons, S. D. Tetali, and A. V. Thakur. Proofs from tests. IEEE Transactions on Software Engineering, 36:495-508, 2010.
-
(2010)
IEEE Transactions on Software Engineering
, vol.36
, pp. 495-508
-
-
Beckman, N.E.1
Nori, A.V.2
Rajamani, S.K.3
Simmons, R.J.4
Tetali, S.D.5
Thakur, A.V.6
-
3
-
-
84864243079
-
-
Technical report, TR-FBK-SE-2011-4-0, September
-
M. Ceccato, C. D. Nguyen, A. Marchetto, L. Mariani, and P. Tonella. Debugging tasks supported either by manual or automatic test cases, analysis of two replications: Trento and Milano. Technical report, FBK, TR-FBK-SE-2011-4-0, http://se.fbk.eu/en/techreps, September 2011.
-
(2011)
Debugging Tasks Supported Either by Manual or Automatic Test Cases, Analysis of Two Replications: Trento and Milano
-
-
Ceccato, M.1
Nguyen, C.D.2
Marchetto, A.3
Mariani, L.4
Tonella, P.5
-
4
-
-
34548252841
-
Experimental assessment of
-
random testing for object-oriented software. New York, NY, USA, ACM
-
I. Ciupa, A. Leitner, M. Oriol, and B. Meyer. Experimental assessment of random testing for object-oriented software. In Proceedings of the 2007 international symposium on Software testing and analysis, ISSTA '07, pages 84-94, New York, NY, USA, 2007. ACM.
-
(2007)
Proceedings of the 2007 International Symposium on Software Testing and Analysis, ISSTA '07
, pp. 84-94
-
-
Ciupa, I.1
Leitner, A.2
Oriol, M.3
Meyer, B.4
-
7
-
-
1442300701
-
An experimental comparison of the effectiveness of the all-uses and all-edges adequacy criteria
-
New York, NY, USA, ACM
-
P. G. Frankl and S. N. Weiss. An experimental comparison of the effectiveness of the all-uses and all-edges adequacy criteria. In Proceedings of the symposium on Testing, analysis, and verification, TAV4, pages 154-164, New York, NY, USA, 1991. ACM.
-
(1991)
Proceedings of the Symposium on Testing, Analysis, and Verification, TAV4
, pp. 154-164
-
-
Frankl, P.G.1
Weiss, S.N.2
-
8
-
-
77955908856
-
Mutation-driven generation of unit tests and oracles
-
New York, NY, USA, ACM
-
G. Fraser and A. Zeller. Mutation-driven generation of unit tests and oracles. In Proceedings of the 19th international symposium on Software testing and analysis, ISSTA, pages 147-158, New York, NY, USA, 2010. ACM.
-
(2010)
Proceedings of the 19th International Symposium on Software Testing and Analysis, ISSTA
, pp. 147-158
-
-
Fraser, G.1
Zeller, A.2
-
9
-
-
78650102061
-
A human study of fault localization accuracy
-
Washington, DC, USA, IEEE Computer Society
-
Z. P. Fry and W. Weimer. A human study of fault localization accuracy. In Proceedings of the 2010 IEEE International Conference on Software Maintenance, ICSM '10, pages 1-10, Washington, DC, USA, 2010. IEEE Computer Society.
-
(2010)
Proceedings of the 2010 IEEE International Conference on Software Maintenance, ICSM '10
, pp. 1-10
-
-
Fry, Z.P.1
Weimer, W.2
-
10
-
-
33745254726
-
DART: Directed automated random testing
-
New York, NY, USA, ACM
-
P. Godefroid, N. Klarlund, and K. Sen. DART: directed automated random testing. In Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, PLDI, pages 213-223, New York, NY, USA, 2005. ACM.
-
(2005)
Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI
, pp. 213-223
-
-
Godefroid, P.1
Klarlund, N.2
Sen, K.3
-
11
-
-
56649121999
-
Empirical investigation towards the effectiveness of test first programming
-
January
-
L. Huang and M. Holcombe. Empirical investigation towards the effectiveness of test first programming. Inf. Softw. Technol., 51:182-194, January 2009.
-
(2009)
Inf. Softw. Technol.
, vol.51
, pp. 182-194
-
-
Huang, L.1
Holcombe, M.2
-
13
-
-
42149184208
-
Randoop: Feedback-directed random testing for java
-
New York, NY, USA, ACM
-
C. Pacheco and M. D. Ernst. Randoop: feedback-directed random testing for java. In Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion, OOPSLA, pages 815-816, New York, NY, USA, 2007. ACM.
-
(2007)
Companion to the 22nd ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications Companion, OOPSLA
, pp. 815-816
-
-
Pacheco, C.1
Ernst, M.D.2
-
15
-
-
56349142435
-
Using acceptance tests as a support for clarifying requirements: A series of experiments
-
F. Ricca, M. Torchiano, M. D. Penta, M. Ceccato, and P. Tonella. Using acceptance tests as a support for clarifying requirements: A series of experiments. Information and Software Technology, 51(2):270-283, 2009.
-
(2009)
Information and Software Technology
, vol.51
, Issue.2
, pp. 270-283
-
-
Ricca, F.1
Torchiano, M.2
Penta, M.D.3
Ceccato, M.4
Tonella, P.5
-
16
-
-
32344447459
-
Cute: A concolic unit testing engine for c
-
September
-
K. Sen, D. Marinov, and G. Agha. Cute: a concolic unit testing engine for c. SIGSOFT Softw. Eng. Notes, 30:263-272, September 2005.
-
(2005)
SIGSOFT Softw. Eng. Notes
, vol.30
, pp. 263-272
-
-
Sen, K.1
Marinov, D.2
Agha, G.3
-
17
-
-
43149111827
-
Pex: White box test generation for.NET
-
Berlin, Heidelberg, Springer-Verlag
-
N. Tillmann and J. D. Halleux. Pex: white box test generation for .NET. In Proceedings of the 2nd international conference on Tests and proofs, TAP, pages 134-153, Berlin, Heidelberg, 2008. Springer-Verlag.
-
(2008)
Proceedings of the 2nd International Conference on Tests and Proofs, TAP
, pp. 134-153
-
-
Tillmann, N.1
Halleux, J.D.2
-
19
-
-
0011088147
-
Experiments on slicing-based debugging aids
-
Papers presented at the Norwood, NJ, USA, Ablex Publishing Corp.
-
M. Weiser and J. Lyle. Experiments on slicing-based debugging aids. In Papers presented at the first workshop on empirical studies of programmers on Empirical studies of programmers, pages 187-197, Norwood, NJ, USA, 1986. Ablex Publishing Corp.
-
(1986)
First Workshop on Empirical Studies of Programmers on Empirical Studies of Programmers
, pp. 187-197
-
-
Weiser, M.1
Lyle, J.2
-
20
-
-
0003639957
-
-
Kluwer Academic Publishers
-
C. Wohlin, P. Runeson, M. Höst, M. Ohlsson, B. Regnell, and A. Wesslén. Experimentation in Software Engineering - An Introduction. Kluwer Academic Publishers, 2000.
-
(2000)
Experimentation in Software Engineering - An Introduction
-
-
Wohlin, C.1
Runeson, P.2
Höst, M.3
Ohlsson, M.4
Regnell, B.5
Wesslén, A.6
|