서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Gligoric, Milos"]

검색결과제한

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

    재검색

  • 자료유형
    • Conference Materials(38)
    • Academic Journals(18)
    • Reports(6)
    • Books(4)

  • 주제어
    • computer science - software engineering(7)
    • computing and processing(7)
    • java(6)
    • tools(6)
    • computer science - computation and language(5)
    • java pathfinder(5)
    • geometric brownian motion(4)
    • mutation testing(4)
    • computer science - machine learning(3)
    • computer science - programming languages(3)
    • computer software(3)
    • delta execution(3)
    • jpf(3)
    • mixed execution(3)
    • semantics(3)
    • software engineering(3)
    • testing(3)
    • automated testing(2)
    • computer bugs(2)
    • coq(2)
    • coverage criteria(2)
    • decision-making(2)
    • framework(2)
    • java programming language(2)
    • lazy evaluation(2)
    • mean reversion process(2)
    • optimization(2)
    • pex(2)
    • production planning(2)
    • program analysis(2)
    • programming languages(2)
    • regression analysis(2)
    • software(2)
    • software testing(2)
    • syntactics(2)
    • test generation(2)
    • topsis(2)
    • uncertainty(2)
    • [info]computer science [cs](1)
    • abstraction(1)
    • adjusted rand index(1)
    • alloy(1)
    • approximate computing(1)
    • arrays(1)
    • binary search trees(1)
    • block model(1)
    • brownian motion processes(1)
    • bugs(1)
    • c# languages(1)
    • c++ languages(1)

  • 저널
    • icse: international conference on software engineering(8)
    • international symposium on software testing & analysis(4)
    • sigsoft: foundations of software engineering(4)
    • resources policy(3)
    • software engineering notes(3)
    • 2019 12th ieee conference on software testing, validation and verification (icst), software testing, validation and verification (icst), 2019 12th ieee conference on(2)
    • automated software engineering(2)
    • international conference on software engineering(2)
    • proceedings of the 19th acm sigsoft symposium & the 13th european conference: foundations of software engineering(2)
    • 2010 acm/ieee 32nd international conference on software engineering(1)
    • 2012 ieee fifth international conference on software testing, verification & validation(1)
    • 2013 28th ieee/acm international conference on automated software engineering (ase)(1)
    • 2016 ieee 27th international symposium on software reliability engineering (issre)(1)
    • 2017 32nd ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2017 32nd ieee/acm international conference on(1)
    • 2018 ieee 11th international conference on software testing, verification and validation (icst), software testing, verification and validation (icst), 2018 ieee 11th international conference on, icst(1)
    • 2019 34th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2019 34th ieee/acm international conference on(1)
    • 2019 ieee/acm 3rd international workshop on refactoring (iwor), refactoring (iwor), 2019 ieee/acm 3rd international workshop on, iwor(1)
    • 2019 ieee/acm 41st international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2019 ieee/acm 41st international conference on(1)
    • acm / sigplan notices(1)
    • acm sigplan notices(1)
    • acm transactions on software engineering & methodology(1)
    • acm transactions on software engineering and methodology(1)
    • automated software engineering conference proceedings(1)
    • computer aided verification (9783319088662)(1)
    • conference on object oriented programming systems languages & applications(1)
    • ecoop 2013 - object-oriented programming(1)
    • energies(1)
    • foundations & trends in programming languages(1)
    • fundamental approaches to software engineering: 14th international conference, fase 2011, held as part of the joint european conferences on theory & practice of software, etaps 2011, saarbrucken, germany, march 26-april 3, 2011. proceedings(1)
    • mathematical problems in engineering(1)
    • oopsla/splash: conference on object oriented programming systems languages & applications(1)
    • proceedings of the 2011 international symposium: software testing & analysis(1)
    • proceedings of the 29th acm ieee international conference automated software engineering(1)
    • proceedings of the 30th international conference: software engineering(1)
    • proceedings of the 3rd international workshop: multicore software engineering(1)
    • software testing verification & reliability(1)
    • software testing: verification & reliability(1)
    • symmetry-basel(1)
    • tools & algorithms for the construction & analysis of systems (9783642367410)(1)

  • 발행처
    • association for computing machinery(32)
    • ieee(11)
    • springer nature(5)
    • assoc computing machinery(2)
    • wiley-blackwell(2)
    • association for computing machinery (acm)(1)
    • elsevier(1)
    • elsevier b.v.(1)
    • elsevier ltd(1)
    • hal ccsd(1)
    • hindawi ltd(1)
    • mdpi(1)
    • mdpi ag(1)
    • now publishers(1)
    • springer(1)

  • 언어
    • english(66)
    • undetermined(3)

  • 수록DB
    • Complementary Index(43)
    • OpenAIRE(9)
    • IEEE Xplore Digital Library(7)
    • Science Citation Index(7)
    • arXiv(6)
    • OpenDissertations(1)
    • Business Source Complete(1)
    • RePEc(1)
    • ScienceDirect(1)

76

1 - 10 다음페이지로

내보내기

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

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

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

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