메뉴 건너뛰기




Volumn , Issue , 2013, Pages 144-153

Generating unit tests for concurrent classes

Author keywords

concurrency coverage; search based software engineering; unit testing

Indexed keywords

AUTOMATED TESTING TOOLS; CONCURRENCY COVERAGE; CONCURRENCY ERRORS; CONCURRENT EXECUTION; COVERAGE CRITERIA; MULTIPLE THREADS; SEARCH-BASED SOFTWARE ENGINEERING; UNIT TESTING;

EID: 84883433402     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2013.33     Document Type: Conference Paper
Times cited : (33)

References (26)
  • 1
    • 57349107218 scopus 로고    scopus 로고
    • Finding deadlocks in large concurrent java programs using genetic algorithms
    • ACM
    • E. Alba, F. Chicano, M. Ferreira, and J. Gomez-Pulido, "Finding deadlocks in large concurrent java programs using genetic algorithms," in Proc. GECCO'08. ACM, 2008, pp. 1735-1742.
    • (2008) Proc. GECCO'08 , pp. 1735-1742
    • Alba, E.1    Chicano, F.2    Ferreira, M.3    Gomez-Pulido, J.4
  • 2
    • 31844438058 scopus 로고    scopus 로고
    • Applications of synchronization coverage
    • ACM
    • A. Bron, E. Farchi, Y. Magid, Y. Nir, and S. Ur, "Applications of synchronization coverage," in Proc. PPoPP. ACM, 2005, p. 212.
    • (2005) Proc. PPoPP , pp. 212
    • Bron, A.1    Farchi, E.2    Magid, Y.3    Nir, Y.4    Ur, S.5
  • 3
    • 77954726954 scopus 로고    scopus 로고
    • Line-up: A complete and automatic linearizability checker
    • Jun.
    • S. Burckhardt, C. Dern, M. Musuvathi, and R. Tan, "Line-up: a complete and automatic linearizability checker," SIGPLAN Not., vol. 45, no. 6, pp. 330-340, Jun. 2010.
    • (2010) SIGPLAN Not , vol.45 , Issue.6 , pp. 330-340
    • Burckhardt, S.1    Dern, C.2    Musuvathi, M.3    Tan, R.4
  • 4
    • 33750426557 scopus 로고    scopus 로고
    • A perturbation-free replay platform for cross-optimized multithreaded applications
    • J. Choi, B. Alpern, T. Ngo, M. Sridharan, and J. Vlissides, "A perturbation-free replay platform for cross-optimized multithreaded applications," in Proc. IPDPS. IEEE, 2001, pp. 10-pp.
    • (2001) Proc. IPDPS. IEEE , pp. 10
    • Choi, J.1    Alpern, B.2    Ngo, T.3    Sridharan, M.4    Vlissides, J.5
  • 5
    • 77749280368 scopus 로고    scopus 로고
    • Gambit: Effective unit testing for concurrency libraries
    • ACM
    • K. E. Coons, S. Burckhardt, and M. Musuvathi, "Gambit: effective unit testing for concurrency libraries," in Proc. PPoPP'10. ACM, 2010, pp. 15-24.
    • (2010) Proc. PPoPP'10 , pp. 15-24
    • Coons, K.E.1    Burckhardt, S.2    Musuvathi, M.3
  • 6
    • 26044480846 scopus 로고    scopus 로고
    • Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact
    • October
    • H. Do, S. Elbaum, and G. Rothermel, "Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact," Empirical Software Engineering, vol. 10, pp. 405-435, October 2005.
    • (2005) Empirical Software Engineering , vol.10 , pp. 405-435
    • Do, H.1    Elbaum, S.2    Rothermel, G.3
  • 8
    • 33646561797 scopus 로고    scopus 로고
    • Concurrent java test generation as a search problem
    • May
    • Y. Eytani, "Concurrent java test generation as a search problem," Electron. Notes Theor. Comput. Sci., vol. 144, pp. 57-72, May 2006.
    • (2006) Electron. Notes Theor. Comput. Sci , vol.144 , pp. 57-72
    • Eytani, Y.1
  • 10
    • 0003758319 scopus 로고    scopus 로고
    • Partial-order methods for the verification of concurrent systems-an approach to the state-explosion problem, ser
    • Springer
    • P. Godefroid, Partial-order methods for the verification of concurrent systems-an approach to the state-explosion problem, ser. Lecture Notes in Computer Science. Springer, 1996, vol. 1032.
    • (1996) Lecture Notes in Computer Science , vol.1032
    • Godefroid, P.1
  • 13
    • 78650042846 scopus 로고    scopus 로고
    • A platform for search-based testing of concurrent software
    • ACM
    • B. K?rena, Z. Letko, T. Vojnar, and S. Ur, "A platform for search-based testing of concurrent software," in Proc. PADTAD '10. ACM, 2010, pp. 48-58.
    • (2010) Proc. PADTAD '10 , pp. 48-58
    • Krena, B.1    Letko, Z.2    Vojnar, T.3    Ur, S.4
  • 14
    • 0017996760 scopus 로고
    • Time, clocks, and the ordering of events in a distributed system
    • ACM
    • L. Lamport, "Time, clocks, and the ordering of events in a distributed system," Communications of the ACM, vol. 21, no. 7, pp. 558-565, 1978.
    • (1978) Communications of the , vol.21 , Issue.7 , pp. 558-565
    • Lamport, L.1
  • 15
    • 57149131636 scopus 로고    scopus 로고
    • A study of interleaving coverage criteria
    • ACM
    • S. Lu, W. Jiang, and Y. Zhou, "A study of interleaving coverage criteria," in Proc. ESEC/FSE. ACM, 2007, pp. 533-536.
    • (2007) Proc. ESEC/FSE , pp. 533-536
    • Lu, S.1    Jiang, W.2    Zhou, Y.3
  • 16
    • 67650093753 scopus 로고    scopus 로고
    • Learning from mistakes: A comprehensive study on real world concurrency bug characteristics
    • ACM
    • S. Lu, S. Park, E. Seo, and Y. Zhou, "Learning from mistakes: a comprehensive study on real world concurrency bug characteristics," in ACM SIGPLAN Notices, vol. 43, no. 3. ACM, 2008, pp. 329-339.
    • (2008) ACM SIGPLAN Notices , vol.43 , Issue.3 , pp. 329-339
    • Lu, S.1    Park, S.2    Seo, E.3    Zhou, Y.4
  • 17
    • 3142725712 scopus 로고    scopus 로고
    • Search-based software test data generation: A survey
    • P. McMinn, "Search-based software test data generation: A survey," Software Testing, Verification and Reliability, vol. 14, no. 2, pp. 105-156, 2004.
    • (2004) Software Testing, Verification and Reliability , vol.14 , Issue.2 , pp. 105-156
    • McMinn, P.1
  • 19
    • 84864224668 scopus 로고    scopus 로고
    • Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code
    • A. Nistor, Q. Luo, M. Pradel, T. R. Gross, and D. Marinov, "Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code," in Proc. ICSE, 2012.
    • (2012) Proc. ICSE
    • Nistor, A.1    Luo, Q.2    Pradel, M.3    Gross, T.R.4    Marinov, D.5
  • 21
    • 0000422707 scopus 로고    scopus 로고
    • Context-sensitive synchronization-sensitive analysis is undecidable
    • ACM
    • G. Ramalingam, "Context-sensitive synchronization-sensitive analysis is undecidable," ACM Trans. Program. Lang. Syst., vol. 22, no. 2, pp. 416-430, 2000.
    • (2000) Trans. Program. Lang. Syst , vol.22 , Issue.2 , pp. 416-430
    • Ramalingam, G.1
  • 22
    • 38049188348 scopus 로고    scopus 로고
    • A race-detection and flipping algorithm for automated testing of multi-threaded programs
    • Springer-Verlag
    • K. Sen and G. Agha, "A race-detection and flipping algorithm for automated testing of multi-threaded programs," in Proc. HVC'06. Springer-Verlag, 2007, pp. 166-182.
    • (2007) Proc. HVC'06 , pp. 166-182
    • Sen, K.1    Agha, G.2
  • 23
    • 32344447459 scopus 로고    scopus 로고
    • CUTE: A concolic unit testing engine for C
    • ACM
    • K. Sen, D. Marinov, and G. Agha, "CUTE: a concolic unit testing engine for C," in Proc. ESEC/FSE-13. ACM, 2005, pp. 263-272.
    • (2005) Proc. ESEC/FSE-13 , pp. 263-272
    • Sen, K.1    Marinov, D.2    Agha, G.3
  • 24
    • 77949401303 scopus 로고    scopus 로고
    • Saturation-based testing of concurrent programs
    • ACM
    • E. Sherman, M. B. Dwyer, and S. Elbaum, "Saturation-based testing of concurrent programs," in Proc. ESEC/FSE'09. ACM, 2009, pp. 53-62.
    • (2009) Proc. ESEC/FSE'09 , pp. 53-62
    • Sherman, E.1    Dwyer, M.B.2    Elbaum, S.3
  • 25
    • 0026827806 scopus 로고
    • Structural testing of concurrent programs
    • Mar
    • R. N. Taylor, D. L. Levine, and C. D. Kelly, "Structural testing of concurrent programs," IEEE Trans. Softw. Eng., vol. 18, no. 3, pp. 206-215, Mar. 1992.
    • (1992) IEEE Trans. Softw. Eng , vol.18 , Issue.3 , pp. 206-215
    • Taylor, R.N.1    Levine, D.L.2    Kelly, C.D.3
  • 26
    • 23744485743 scopus 로고    scopus 로고
    • Evolutionary testing of classes
    • P. Tonella, "Evolutionary testing of classes," in Proc. ISSTA, 2004, pp. 119-128.
    • (2004) Proc. ISSTA , pp. 119-128
    • Tonella, P.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.