메뉴 건너뛰기




Volumn 2002-January, Issue , 2002, Pages 341-351

Mutation of Java objects

Author keywords

Computer science; Genetic mutations; Java; Probability; Software libraries; Software measurement; Software testing; Software tools; System testing; Writing

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SCIENCE; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; PROBABILITY; PROBABILITY DISTRIBUTIONS; SEMANTICS; SOFTWARE ENGINEERING; SOFTWARE RELIABILITY; TECHNICAL WRITING;

EID: 20844461220     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2002.1173285     Document Type: Conference Paper
Times cited : (42)

References (21)
  • 14
    • 0007512363 scopus 로고
    • Method sequence specification and verification of classes
    • October
    • S. Kirani and W. T. Tsai. "Method Sequence Specification and Verification of Classes". Journal of Object-Oriented Programming, pages 28-38, October 1994.
    • (1994) Journal of Object-Oriented Programming , pp. 28-38
    • Kirani, S.1    Tsai, W.T.2
  • 18
    • 0007473206 scopus 로고    scopus 로고
    • Technical Report ISSE-TR-96-09, Information and Software Systems Engineering, George Mason University, Fairfax, Virginia, March
    • A. J. Offutt, J. Voas, and J. Payne. Mutation Operators for Ada. Technical Report ISSE-TR-96-09, Information and Software Systems Engineering, George Mason University, Fairfax, Virginia, March 1996.
    • (1996) Mutation Operators for Ada
    • Offutt, A.J.1    Voas, J.2    Payne, J.3
  • 21
    • 0029306012 scopus 로고
    • Software testability: The new verification
    • May
    • J. M. Voas and K. W. Miller. "Software Testability: The New Verification". IEEE Software, pages 17-28, May 1995.
    • (1995) IEEE Software , pp. 17-28
    • Voas, J.M.1    Miller, K.W.2


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