Heuristics: intelligent search strategies for computer problem solving
Heuristics: intelligent search strategies for computer problem solving
Three partition refinement algorithms
SIAM Journal on Computing
An introduction to modal and temporal logics for CCS
Proceedings of the UK/Japan workshop on Concurrency : theory, language, and architecture: theory, language, and architecture
Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Selective mu-calculus and formula-based equivalence of transition systems
Journal of Computer and System Sciences
Directed explicit model checking with HSF-SPIN
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Symbolic Model Checking
Communication and Concurrency
CADP - A Protocol Validation and Verification Toolbox
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
The NCSU Concurrency Workbench
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Heuristic Search + Local Model Checking in Selective mu-Calculus
IEEE Transactions on Software Engineering
Deducing similarities in Java sources from bytecodes
ATEC '98 Proceedings of the annual conference on USENIX Annual Technical Conference
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
Clone detection by exploiting assembler
Proceedings of the 4th International Workshop on Software Clones
Hi-index | 0.00 |
In this paper we present a formal method-based approach in detecting source code clones by means of analysing and comparing the Java Bytecode that is produced when the source code is compiled. A preliminary investigation has been also conducted to assess the validity of the proposed approach.