서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Aichernig, Bernhard K."]

검색결과제한

  • Facet Limit
    • 원문(Full Text)
    • Peer-Reviewed 학술지
    • -

    재검색

  • 자료유형
    • Academic Journals(47)
    • Conference Materials(25)
    • Books(18)
    • Reviews(13)
    • Reports(6)
    • Magazines(2)

  • 주제어
    • mutation testing(25)
    • model-based testing(22)
    • refinement(19)
    • test case generation(13)
    • testing(11)
    • mutation testing of computer software(7)
    • unified modeling language(7)
    • action systems(6)
    • computer science(6)
    • computer science(all)(6)
    • computer simulation(6)
    • conformance testing(6)
    • formal methods(6)
    • ioco(6)
    • semantics(6)
    • theoretical computer science(6)
    • computer science - software engineering(5)
    • computer software testing(5)
    • uml(5)
    • unifying theories of programming(5)
    • computer software development(4)
    • constraint solving(4)
    • design(4)
    • object-oriented methods (computer science)(4)
    • programming languages(4)
    • property-based testing(4)
    • refinement calculus(4)
    • software engineering(4)
    • specification-based testing(4)
    • test-case generation(4)
    • aeronautical communications systems(3)
    • computer science - machine learning(3)
    • computer software(3)
    • computer systems(3)
    • conformance(3)
    • connector(3)
    • object oriented modeling(3)
    • statistics - machine learning(3)
    • voice(3)
    • web services(3)
    • abstraction(2)
    • algebra of programming(2)
    • algebraic specifications(2)
    • coalgebras(2)
    • computer and information sciences(2)
    • computer networks(2)
    • computer programming(2)
    • computing and processing(2)
    • data- och informationsvetenskap(2)
    • debugging(2)

  • 저널
    • electronic notes in theoretical computer science(14)
    • entcs: electronic notes in theoretical computer science(9)
    • formal aspects of computing(8)
    • science of computer programming(6)
    • journal of logical and algebraic methods in programming(4)
    • formal methods for components & objects (9783642170706)(3)
    • ieee software(3)
    • journal of automated reasoning(3)
    • formal methods in system design(2)
    • international journal on software tools for technology transfer(2)
    • software & systems modeling(2)
    • software quality journal(2)
    • software testing verification & reliability(2)
    • software testing: verification & reliability(2)
    • tests & proofs (9783642389153)(2)
    • tests and proofs(2)
    • 2012 12th international conference on quality software(1)
    • 2012 ieee fifth international conference on software testing, verification & validation(1)
    • 2012 sixth international symposium on theoretical aspects of software engineering(1)
    • 2014 14th international conference on quality software(1)
    • 2014 2nd international conference on model-driven engineering & software development (modelsward)(1)
    • 2015 ieee eighth international conference on software testing, verification & validation workshops (icstw)(1)
    • 2016 acm/ieee international conference on formal methods & models for system design (memocode)(1)
    • 2016 ieee ninth international conference on software testing, verification & validation workshops (icstw)(1)
    • 2017 ieee international conference on software testing, verification and validation workshops (icstw), software testing, verification and validation workshops (icstw), 2017 ieee international conference on, icstw(1)
    • a-most: workshop on advances in model-based testing(1)
    • computer safety, reliability & security: 33rd international conference, safecomp 2014, florence, italy, september 10-12, 2014. proceedings(1)
    • computer science logic(1)
    • formal methods & software engineering (9783642103728)(1)
    • formal methods for components & objects (9783642041662)(1)
    • formal methods for industrial critical systems: 20th international workshop, fmics 2015 oslo, norway, june 22-23, 2015 proceedings(1)
    • formal methods---the next 30 years(1)
    • formal modeling & analysis of timed systems: 13th international conference, formats 2015, madrid, spain, september 2-4, 2015, proceedings(1)
    • nasa formal methods(1)
    • proceedings of the 10th conference on category theory in computer science (ctcs 2004)(1)
    • proceedings of the 3rd international workshop: advances in model-based testing(1)
    • real-time systems(1)
    • runtime verification(1)
    • software and systems modeling(1)
    • software engineering notes(1)
    • testing techniques in software engineering(1)
    • tests & proofs (9783319212142)(1)
    • tests & proofs: 8th international conference, tap 2014, held as part of staf 2014, york, uk, july 24-25, 2014. proceedings(1)
    • the 1st workshop on uses of symbolic execution (use)(1)
    • theoretical aspects of computing---ictac 2008(1)
    • theories of programming & formal methods(1)
    • theory & practice of formal methods(1)
    • theory and practice of formal methods(1)
    • unifying theories of programming(1)
    • unifying theories of programming (9783642145209)(1)

  • 발행처
    • springer nature(27)
    • elsevier b.v.(22)
    • ieee(13)
    • springer(8)
    • elsevier bv(5)
    • springer, cham(5)
    • association for computing machinery(3)
    • springer heidelberg(3)
    • springer, berlin(3)
    • wiley-blackwell(3)
    • elsevier sci. b. v., amsterdam(2)
    • elsevier science bv(2)
    • elsevier(1)
    • elsevier inc.(1)
    • elsevier science inc(1)
    • springer verlag(1)
    • springer, [cham](1)
    • wiley(1)

  • 언어
    • english(103)
    • undetermined(1)

  • 수록DB
    • Complementary Index(36)
    • Science Citation Index(15)
    • Supplemental Index(13)
    • MathSciNet via EBSCOhost(13)
    • ScienceDirect(12)
    • OpenAIRE(10)
    • arXiv(6)
    • Academic Search Complete(6)
    • SwePub(3)
    • IEEE Xplore Digital Library(2)
    • Business Source Complete(1)

117

1 - 10 다음페이지로

내보내기

내보내기
내보내기 형식을 선택하세요.

o RefWorks에서 이용 가능한 형식으로 반출합니다.

o EndNote에서 이용 가능한 형식으로 반출합니다.

※ 중복 레코드가 제거된 검색 결과가 표시됩니다.