Class information for:
Level 2: COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//MODEL CHECKING

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
237 20142 26.9 30%


Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes
The table includes all classes above and classes immediately below the current class.


Cluster id Level Cluster label #P
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
148 3       COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//ACM SIGPLAN NOTICES 63683
237 2             COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//MODEL CHECKING 20142
2581 1                   PROCESS ALGEBRA//PROGRAMMING GRP//EVENT STRUCTURES 2204
4243 1                   SOFTWARE TESTING//REGRESSION TESTING//SOFTWARE TESTING VERIFICATION & RELIABILITY 1821
5920 1                   MODEL CHECKING//TEMPORAL LOGIC//PARTIAL ORDER REDUCTION 1558
6407 1                   ABSTRACT INTERPRETATION//SEPARATION LOGIC//PREDICATE ABSTRACTION 1489
7299 1                   FORMAL ASPECTS OF COMPUTING//KLEENE ALGEBRA//EVENT B 1384
8670 1                   TIMED AUTOMATA//TIME PETRI NETS//MODEL CHECKING 1230
8999 1                   PI CALCULUS//PROCESS CALCULI//SESSION TYPES 1198
10916 1                   SYNCHRONOUS LANGUAGES//STATECHARTS//ESTEREL 1024
11986 1                   HYBRID SYSTEMS//APPROXIMATE BISIMULATION//SAFETY VERIFICATION 939
12130 1                   POINTER ANALYSIS//POINTS TO ANALYSIS//PARTIAL REDUNDANCY ELIMINATION 930
13313 1                   PUSHDOWN SYSTEMS//PARITY GAMES//AUTOMATIC STRUCTURES 846
13393 1                   TRANSACTIONAL MEMORY//DATA RACES//RELAXED MEMORY MODELS 841
13867 1                   CONFORMANCE TESTING//FINITE STATE MACHINE//PROTOCOL CONFORMANCE TESTING 808
13930 1                   ASSUME GUARANTEE REASONING//TEMPORAL LOGIC OF ACTIONS//COMPOSITIONAL REASONING 804
15505 1                   MESSAGE SEQUENCE CHARTS//LIVE SEQUENCE CHARTS//MAZURKIEWICZ TRACES 709
15574 1                   PROGRAM SLICING//PROGRAM DEPENDENCE GRAPH//DYNAMIC SLICING 704
16541 1                   WELL STRUCTURED TRANSITION SYSTEMS//INFINITE STATE SYSTEMS//NETS WITHIN NETS 648
20701 1                   INFORMATION FLOW CONTROL//BYTECODE VERIFICATION//LANGUAGE BASED SECURITY 449
26855 1                   ABSTRACT RECURSION THEORY//CODED REWRITING//EFFECTIVELY FINITE PARTIAL ORDER 243
30550 1                   RUNTIME VERIFICATION//RUNTIME MONITORING//EXECUTION BASED MODEL CHECKING 167
31925 1                   ABSTRACT STATE MACHINES//COREASM//DIP TECNOL INFORMAZ 146

Terms with highest relevance score


rank Term termType Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with term
in class
1 COMPUTER SCIENCE, SOFTWARE ENGINEERING WoSSC 762671 45% 6% 9039
2 COMPUTER SCIENCE, THEORY & METHODS WoSSC 719402 52% 5% 10433
3 MODEL CHECKING authKW 628710 4% 52% 796
4 LECTURE NOTES IN COMPUTER SCIENCE journal 611185 30% 7% 5976
5 VERIFICATION authKW 588957 6% 34% 1162
6 ACM SIGPLAN NOTICES journal 453163 6% 25% 1204
7 SOFTWARE TESTING authKW 383977 2% 61% 413
8 TEMPORAL LOGIC authKW 328206 2% 57% 383
9 CONCURRENCY authKW 321733 2% 47% 452
10 FORMAL METHODS IN SYSTEM DESIGN journal 312479 2% 64% 322

Web of Science journal categories


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with term
in class
1 Computer Science, Software Engineering 762671 45% 6% 9039
2 Computer Science, Theory & Methods 719402 52% 5% 10433
3 Logic 64907 4% 5% 802
4 Computer Science, Information Systems 50858 13% 1% 2714
5 Computer Science, Hardware & Architecture 41246 8% 2% 1669
6 Computer Science, Artificial Intelligence 8696 6% 1% 1207
7 Mathematics, Applied 4968 8% 0% 1512
8 Automation & Control Systems 2757 3% 0% 566
9 Engineering, Electrical & Electronic 2382 9% 0% 1812
10 Telecommunications 889 2% 0% 485

Address terms


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with term
in class
1 COMP SCI 161338 20% 3% 4064
2 LSV 129192 1% 58% 147
3 EQUAT 89620 0% 81% 73
4 DIPARTIMENTO INFORMAT 84474 2% 14% 412
5 UMR 8643 61195 0% 66% 61
6 PROGRAMMING GRP 58282 0% 57% 68
7 LIAFA 56210 1% 23% 165
8 INFORMAT 55526 6% 3% 1132
9 VERIMAG 46425 0% 68% 45
10 SPECIFICAT VERIFICAT 45685 0% 57% 53

Journals


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with term
in class
1 LECTURE NOTES IN COMPUTER SCIENCE 611185 30% 7% 5976
2 ACM SIGPLAN NOTICES 453163 6% 25% 1204
3 FORMAL METHODS IN SYSTEM DESIGN 312479 2% 64% 322
4 FORMAL ASPECTS OF COMPUTING 249558 1% 65% 252
5 SCIENCE OF COMPUTER PROGRAMMING 232389 2% 31% 498
6 SOFTWARE TESTING VERIFICATION & RELIABILITY 229603 1% 79% 192
7 THEORETICAL COMPUTER SCIENCE 190570 6% 11% 1165
8 INFORMATION AND COMPUTATION 160109 2% 22% 473
9 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 153019 1% 55% 183
10 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 148873 3% 19% 531

Author Key Words


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with term
in class		 LCSH search Wikipedia search
1 MODEL CHECKING 628710 4% 52% 796 Search MODEL+CHECKING Search MODEL+CHECKING
2 VERIFICATION 588957 6% 34% 1162 Search VERIFICATION Search VERIFICATION
3 SOFTWARE TESTING 383977 2% 61% 413 Search SOFTWARE+TESTING Search SOFTWARE+TESTING
4 TEMPORAL LOGIC 328206 2% 57% 383 Search TEMPORAL+LOGIC Search TEMPORAL+LOGIC
5 CONCURRENCY 321733 2% 47% 452 Search CONCURRENCY Search CONCURRENCY
6 PROCESS ALGEBRA 286074 1% 69% 275 Search PROCESS+ALGEBRA Search PROCESS+ALGEBRA
7 LANGUAGES 213372 3% 23% 618 Search LANGUAGES Search LANGUAGES
8 FORMAL METHODS 212789 2% 40% 348 Search FORMAL+METHODS Search FORMAL+METHODS
9 TIMED AUTOMATA 188897 1% 73% 172 Search TIMED+AUTOMATA Search TIMED+AUTOMATA
10 ABSTRACT INTERPRETATION 174890 1% 55% 211 Search ABSTRACT+INTERPRETATION Search ABSTRACT+INTERPRETATION

Core articles
The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c:
(1) Number of references referring to publications in the class.
(2) Share of total number of active references referring to publications in the class.
(3) Age of the article. New articles get higher score than old articles.
(4) Citation rate, normalized to year.


Rank Reference # ref.
in cl.		 Shr. of ref. in
cl.		 Citations
1 HARMAN, M , LI, JJ , ZHU, H , ANAND, S , BURKE, EK , CHEN, TY , CLARK, J , COHEN, MB , GRIESKAMP, W , HARROLD, MJ , ET AL (2013) AN ORCHESTRATED SURVEY OF METHODOLOGIES FOR AUTOMATED SOFTWARE TEST CASE GENERATION.JOURNAL OF SYSTEMS AND SOFTWARE. VOL. 86. ISSUE 8. P. 1978 -2001 67 93% 65
2 YOO, S , HARMAN, M , (2012) REGRESSION TESTING MINIMIZATION, SELECTION AND PRIORITIZATION: A SURVEY.SOFTWARE TESTING VERIFICATION & RELIABILITY. VOL. 22. ISSUE 2. P. 67 -120 45 98% 183
3 HIERONS, RM , BOGDANOV, K , BOWEN, JP , CLEAVELAND, R , DERRICK, J , DICK, J , GHEORGHE, M , HARMAN, M , KAPOOR, K , KRAUSE, P , ET AL (2009) USING FORMAL SPECIFICATIONS TO SUPPORT TESTING.ACM COMPUTING SURVEYS. VOL. 41. ISSUE 2. P. - 73 86% 80
4 FU, YX , (2016) THEORY OF INTERACTION.THEORETICAL COMPUTER SCIENCE. VOL. 611. ISSUE . P. 1 -49 66 97% 0
5 WANG, F , (2004) FORMAL VERIFICATION OF TIMED SYSTEMS: A SURVEY AND PERSPECTIVE.PROCEEDINGS OF THE IEEE. VOL. 92. ISSUE 8. P. 1283 -1305 81 88% 34
6 BARR, ET , HARMAN, M , MCMINN, P , SHAHBAZ, M , YOO, S , (2015) THE ORACLE PROBLEM IN SOFTWARE TESTING: A SURVEY.IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. VOL. 41. ISSUE 5. P. 507 -525 56 77% 17
7 JHALA, R , MAJUMDAR, R , (2009) SOFTWARE MODEL CHECKING.ACM COMPUTING SURVEYS. VOL. 41. ISSUE 4. P. - 65 89% 35
8 WONG, WE , GAO, RZ , LI, YH , ABREU, R , WOTAWA, F , (2016) A SURVEY ON SOFTWARE FAULT LOCALIZATION.IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. VOL. 42. ISSUE 8. P. 707 -740 64 72% 2
9 JIA, Y , HARMAN, M , (2011) AN ANALYSIS AND SURVEY OF THE DEVELOPMENT OF MUTATION TESTING.IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. VOL. 37. ISSUE 5. P. 649 -678 37 97% 196
10 ZHU, H , HALL, PAV , MAY, JHR , (1997) SOFTWARE UNIT TEST COVERAGE AND ADEQUACY.ACM COMPUTING SURVEYS. VOL. 29. ISSUE 4. P. 366 -427 71 83% 339

Classes with closest relation at Level 2


Rank Class id link
1 2575 DISCRETE EVENT SYSTEMS//PETRI NETS//SUPERVISORY CONTROL
2 708 COMPUTER SCIENCE, THEORY & METHODS//JOURNAL OF AUTOMATED REASONING//LAMBDA CALCULUS
3 539 COMPUTER SCIENCE, SOFTWARE ENGINEERING//INFORMATION AND SOFTWARE TECHNOLOGY//IEEE SOFTWARE
4 3027 SOFTWARE RELIABILITY//SOFTWARE RELIABILITY GROWTH MODEL//RELIABILITY GROWTH
5 1506 SIGPLAN NOTICES//COMPUTER SCIENCE, SOFTWARE ENGINEERING//SOFTWARE-PRACTICE & EXPERIENCE
6 2428 SERVICE COMPOSITION//WEB SERVICES//PROCESS MINING
7 1913 ACM SIGPLAN NOTICES//GARBAGE COLLECTION//REGISTER ALLOCATION
8 1059 MEMBRANE COMPUTING//THEORETICAL COMPUTER SCIENCE//P SYSTEMS
9 2317 COMPUTER NETWORKS AND ISDN SYSTEMS//POLLING SYSTEMS//DQDB
10 1249 SELF STABILIZATION//DISTRIBUTED COMPUTING//FAULT TOLERANCE

Go to start page