Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Lianying Miao
Claudia Calabrese
Maria Concetta Palumbo
Jhonathan Pinzon
Giovanni Venturelli
Young Yim Doh
Chen Ma
Rna Henson
Radu Timofte
Kuanrui Yin
Home
/
Author
/
IN SANG CHUNG
Author Info
Open Visualization
Name
Affiliation
Papers
IN SANG CHUNG
KOREA ADV INST SCI & TECHNOL, DEPT COMP SCI, 373-1 KUSONG DONG, YUSUNG GU, TAEJON 305701, SOUTH KOREA
12
Collaborators
Citations
PageRank
12
64
6.76
Referers
Referees
References
127
186
105
Search Limit
100
186
Publications (12 rows)
Collaborators (12 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Generating input data structures for automated program testing
3
0.45
2009
Generating Test Sequences from Statecharts for Concurrent Program Testing
1
0.34
2006
Specification-based program slicing and its applications
6
0.48
2001
The design and implementation of automata-based testing environment for Java multi-thread programs
3
0.42
2001
Specifying and verifying real-time systems with timing uncertainty
0
0.34
2000
A New Approach To Deterministic Execution Testing For Concurrent Programs
2
0.39
2000
Testing of concurrent programs after specification changes
4
0.53
1999
Testing of concurrent programs based on message sequence charts
21
0.98
1999
An approach to partitioning programs on the functional basis and applications
1
0.43
1994
Restructuring Programs Through Program Slicing
16
1.08
1994
A semantics-based method for revalidating modified programs.
0
0.34
1994
Complexity measures for concurrent programs based on information-theoretic metrics
7
0.97
1993
1