Clone detection through process algebras and Java Bytecode

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2011, Pages 73-74

  Santone, Antonella ^a  

^a UNIVERSITY OF SANNIO   (Italy)

Author keywords

CCS; Clone detection; Formal methods

Indexed keywords

CCS; CLONE DETECTION; JAVA BYTE CODES; PROCESS ALGEBRAS; SOURCE CODES;

CLONING; COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE;

FORMAL METHODS;

EID: 79959563521     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1985404.1985422     Document Type: Conference Paper

References (15)

1. B.S. Baker, U. Manber. Deducing Similarities in Java Sources from Bytecodes. In Proc. Proceedings of the USENIX Annual Technical Conference, New Orleans, Louisiana, 1998.
2. R. Barbuti, N. De Francesco, A. Santone, G. Vaglini. Selective mu-calculus and Formula-Based Abstractions of Transition Systems. Journal of Computer and System Sciences, 59(3), 1999. 537-556. (Pubitemid 32083275)
3. E.M. Clarke, O. Grumberg, D.E. Long. Model Checking and Abstraction. ACM TOPLAS, 16(5), 1994. 1512-1542.
4. E.M. Clarke, O. Grumberg, D. Peled. Model Checking. MIT press, 2000.
5. R. Cleaveland, S. Sims. The NCSU Concurrency Workbench. In Proc. of the Eighth International Conference on Computer-Aided Verification, LNCS 1102, 1996. 394-397. (Pubitemid 126101299)
6. I.J. Davis, M.W. Godfrey. Clone detection by exploiting assembler. In Proc. of the 4th International Workshop on Software Clones, ACM New York, USA.
7. S. Edelkamp, A. Lluch-Lafuente, S. Leue. Directed Explicit Model Checking with HSF-SPIN. In Proc. of the 8th International SPIN Workshop on Model Checking Software, LNCS 2057, 2001. 57-79. (Pubitemid 33276263)
8. J.C. Fernandez et al. CADP A Protocol Validation and Verification Toolbox. In Proc. of the Third International Conference on Computer-Aided Verification, LNCS 1102, 1996. 437-440.
9. S. Gradara, A. Santone, M.L. Villani. Using Heuristic Search for Finding Deadlocks in Concurrent Systems. Information and Computation, 202(2), 2005. 191-226. (Pubitemid 41423553)
10. K. McMillan. Symbolic Model Checking. Boston: Kluwer Academic Publishers, 1993.
11. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
12. R. Paige, R. Tarjan. Three Partition Refinement Algorithms. SIAM Journal of Computing, 16(6), 1987. 973-989.
13. J. Pearl. Heuristics: Intelligent Search Strategies for Computer Problem Solving. Addison-Wesley.
14. A. Santone. Heuristic Search + Local Model Checking in Selective mu-Calculus. IEEE Transactions on Software Engineering, 29(6), 2003. 510-523.
15. C. Stirling. An Introduction to Modal and Temporal Logics for CCS. In Concurrency: Theory, Language, and Architecture, LNCS 391, 1989.