DSpace at KOASAS
College of Engineering(공과대학)Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)NE-Conference Papers(학술회의논문)

Data Flow Testing as Model Checking

Cited 50 time in webofscience Cited 0 time in scopus
  • Hit : 993
  • Download : 1096
Export
DC FieldValueLanguage
dc.contributor.authorHong, Hyoung Seokko
dc.contributor.authorCha, Sung Deokko
dc.contributor.authorLee, Insupko
dc.contributor.authorSokolsky, Olegko
dc.contributor.authorUral, Hasanko
dc.date.accessioned2007-07-03T07:51:50Z-
dc.date.available2007-07-03T07:51:50Z-
dc.date.created2012-02-06-
dc.date.created2012-02-06-
dc.date.issued2003-05-03-
dc.identifier.citationSoftware Engineering, 2003. Proceedings. 25th International Conference on, pp.242-
dc.identifier.urihttp://hdl.handle.net/10203/804-
dc.description.sponsorshipThis research was supported in part by Advanced Information Technology Research Center at KAIST, NSF CCR-9988409, NSF CCR-0086147, NSF CCR-0209024, ARO DAAD19-01-1-0473, DARPA ITO MOBIES F33615-00-C-1707, and the Natural Sciences and Engineering Research Council of Cancada under grant OGP00000976.en
dc.language.isoen_USen
dc.publisherICSE '03-
dc.titleData Flow Testing as Model Checking-
dc.typeConference-
dc.identifier.wosid000183140900021-
dc.identifier.scopusid2-s2.0-0038601683-
dc.type.rimsCONF-
dc.citation.beginningpage242-
dc.citation.publicationnameSoftware Engineering, 2003. Proceedings. 25th International Conference on-
dc.identifier.conferencecountryUS-
dc.embargo.liftdate9999-12-31-
dc.embargo.terms9999-12-31-
dc.contributor.nonIdAuthorHong, Hyoung Seok-
dc.contributor.nonIdAuthorLee, Insup-
dc.contributor.nonIdAuthorSokolsky, Oleg-
dc.contributor.nonIdAuthorUral, Hasan-
Appears in Collection
Files in This Item
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 50 items in WoS Click to see citing articles in records_button

Display Simple Item Record

qr_code

  • mendeley

    citeulike

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


rss_1.0 rss_2.0 atom_1.0