Zum Inhalt springen

Cha, Sungdeok [Herausgeber:in]; Choi, Jin-Young [Sonstige Person, Familie und Körperschaft]; Kim, Moonzoo [Sonstige Person, Familie und Körperschaft]; Lee, Insup [Sonstige Person, Familie und Körperschaft]; Viswanathan, Mahesh [Sonstige Person, Familie und Körperschaft] ; ATVA 6 2008 Seoul

Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 5311
Hutchison, David [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Viswanathan, Mahesh [Sonstige Person, Familie und Körperschaft]; Cha, Sungdeok (Steve) [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Choi, Jin-Young [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kim, Moonzoo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Lee, Insup [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]

Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

Erschienen in: Lecture notes in computer science ; 5311
Kim, Moonzoo; Kim, Yunho

Automated Technology for Verification and Analysis: Automated Analysis of Industrial Embedded Software

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Automated Technology for Verification and Analysis (2011), Seite 51-59
Kim, Moonzoo; Kim, Yunho

Lecture Notes in Computer Science: Concolic Testing of the Multi-sector Read Operation for Flash Memory File System

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2009

Erschienen in: Lecture Notes in Computer Science (2009), Seite 251-265
Hong, Shin; Kim, Moonzoo

A survey of race bug detection techniques for multithreaded programmes

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wiley, 2015

Erschienen in: Software Testing, Verification and Reliability, 25 (2015) 3, Seite 191-217
Viswanathan, Mahesh; Kim, Moonzoo

Theoretical Aspects of Computing - ICTAC 2004: Foundations for the Run-Time Monitoring of Reactive Systems – Fundamentals of the MaC Language

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2005

Erschienen in: Theoretical Aspects of Computing - ICTAC 2004 (2005), Seite 543-556
Esposito, Joel M.; Kim, Moonzoo

Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2007

Erschienen in: IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 37 (2007) 3, Seite 285-297
Kim, Moonzoo; Kang, Kyo Chul

Automated Technology for Verification and Analysis: Formal Construction and Verification of Home Service Robots: A Case Study

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2005

Erschienen in: Automated Technology for Verification and Analysis (2005), Seite 429-443
Kim, Hyunwoo; Kim, Yunho; Kim, Moonzoo

Improving Applicability and Usability of a Concolic Testing Tool CROWN

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Korean Institute of Information Scientists and Engineers, 2018

Erschienen in: Journal of KIISE, 45 (2018) 10, Seite 1071-1079
Kim, Youngjoo; Kim, Moonzoo; Kim, Tai-Hyo

Hardware and Software: Verification and Testing: Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2013

Erschienen in: Hardware and Software: Verification and Testing (2013), Seite 162-177
Kim, Moonzoo; Kim, Yunho; Kim, Hotae

A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2011

Erschienen in: IEEE Transactions on Software Engineering, 37 (2011) 2, Seite 146-160
Lee, Ahcheong; Kim, Yunho; Kim, Moonzoo

Effective Fuzzing Technique with Command Line Option Mutation/Selection

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Korean Institute of Information Scientists and Engineers, 2022

Erschienen in: Journal of KIISE, 49 (2022) 11, Seite 981-986
Lim, Hyunsu; Kim, Yunho; Kim, Moonzoo

Automated Capturing and Replaying Unit Inputs of C Programs from System Executions through Static and Dynamic Analysis

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Korean Institute of Information Scientists and Engineers, 2018

Erschienen in: Journal of KIISE, 45 (2018) 10, Seite 1035-1044
Kim, Moonzoo; Kim, Yunho; Choi, Yunja

Concolic testing of the multi-sector read operation for flash storage platform software

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2012

Erschienen in: Formal Aspects of Computing, 24 (2012) 3, Seite 355-374
Kim, Yunho; Kim, Moonzoo; Dang, Nam

Lecture Notes in Computer Science: Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2010

Erschienen in: Lecture Notes in Computer Science (2010), Seite 199-213
Kim, Yunho; Kim, Hyunwoo; Yang, Woong-gyu; Kim, Moonzoo

A Comparative Study of C Program Mutation Tools for Effective Mutation Analysis: A Case Study of Proteum and Milu

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Korean Institute of Information Scientists and Engineers, 2018

Erschienen in: Journal of KIISE, 45 (2018) 4, Seite 342-347
Kim, Moonzoo; Choi, Yunja; Kim, Yunho; Kim, Hotae

Model Checking Software: Formal Verification of a Flash Memory Device Driver – An Experience Report

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2008

Erschienen in: Model Checking Software (2008), Seite 144-159
Lee, Nakwon; Kim, Yunho; Kim, Moonzoo; Ryu, Duksan; Baik, Jongmoon

Directed Model Checking for Fast Abstract Reachability Analysis

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2021

Erschienen in: IEEE Access, 9 (2021), Seite 158738-158750
Herlim, Robert Sebastian; Hong, Shin; Kim, Yunho; Kim, Moonzoo

Search-Based Software Engineering: Empirical Study of Effectiveness of EvoSuite on the SBST 2020 Tool Competition Benchmark

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2021

Erschienen in: Search-Based Software Engineering (2021), Seite 121-135
Kim, Yunho; Mun, Seokhyeon; Yoo, Shin; Kim, Moonzoo

Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2019

Erschienen in: ACM Transactions on Software Engineering and Methodology, 28 (2019) 4, Seite 1-34

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr