Aniello Cimitile

Fabio Martinelli

J. Softw. Evol. Process., 2018

Evaluating model checking for cyber threats code obfuscation identification.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2018

Talos: no more ransomware victims with formal methods.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2018

2017

Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Model Checking for Mobile Android Malware Evolution.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

Machine Learning Meets iOS Malware: Identifying Malicious Applications on Apple Environment.

[BibT_eX]

[DOI]

Fabio Martinelli

Francesco Mercaldo

Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017

2016

Mobile malware detection in the real world.

[BibT_eX]

[DOI]

Francesco Mercaldo

Proceedings of the 38th International Conference on Software Engineering, 2016

2007

Evaluating performances of pair designing in industry.

[BibT_eX]

[DOI]

J. Syst. Softw., 2007

2006

How Distribution Affects the Success of Pair Programming.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2006

Productivity of Test Driven Development: A Controlled Experiment with Professionals.

[BibT_eX]

[DOI]

Proceedings of the Product-Focused Software Process Improvement, 2006

Evaluating advantages of test driven development: a controlled experiment with professionals.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Symposium on Empirical Software Engineering (ISESE 2006), 2006

Performances of Pair Designing on Software Evolution: a controlled experiment.

[BibT_eX]

[DOI]

Félix García

Mario Piattini

Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 2006

2005

Empirical Study on the Productivity of the Pair Programming.

[BibT_eX]

[DOI]

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

The Impact of Educational Background on Design Knowledge Sharing During Pair Programming: An Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the Professional Knowledge Management, Third Biennial Conference, 2005

Confirming the influence of educational background in pair-design knowledge through experiments.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

2004

Assessing Staffing Needs for a Software Maintenance Project through Queuing Simulation.

[BibT_eX]

[DOI]

Giuliano Antoniol

Massimiliano Di Penta

IEEE Trans. Software Eng., 2004

Working in Pairs as a Means for Design Knowledge Building: An Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Program Comprehension (IWPC 2004), 2004

2003

Lessons learned about distributed pair programming: what are the knowledge needs to address?

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), 2003

2002

From Knowledge Management Concepts Toward Software Engineering Practices.

[BibT_eX]

[DOI]

Proceedings of the Product Focused Software Process Improvement, 2002

FlowManager: A Workflow Management System Based on Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Announcement.

[BibT_eX]

[DOI]

Ned Chapin

J. Softw. Maintenance Res. Pract., 2001

Decomposing legacy systems into objects: an eclectic approach.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2001

Migrating Legacy Systems to the Web: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the Fifth Conference on Software Maintenance and Reengineering, 2001

2000

Decomposing legacy programs: a first step towards migrating to client-server platforms.

[BibT_eX]

[DOI]

J. Syst. Softw., 2000

Traceability Recovery by Modeling Programmer Behavior.

[BibT_eX]

[DOI]

Giuliano Antoniol

Gerardo Casazza

Proceedings of the Seventh Working Conference on Reverse Engineering, 2000

An Approach to Limit the Wynot Problem.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Conference on Software Maintenance, 2000

1999

Identifying objects in legacy systems using design metrics.

[BibT_eX]

[DOI]

J. Syst. Softw., 1999

A Software Model for Impact Analysis: A Validation Experiment.

[BibT_eX]

[DOI]

Anna Rita Fasolino

Proceedings of the Sixth Working Conference on Reverse Engineering, 1999

A Case Study of Applying an Eclectic Approach to Identify Objects in Code.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Program Comprehension (IWPC '99), May 5-7, 1999, 1999

1998

An Extensible System for Source Code Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1998

Conditioned program slicing.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1998

Incremental Migration Strategies: Data Flow Analysis For Wrapping.

[BibT_eX]

[DOI]

Proceedings of the 5th Working Conference on Reverse Engineering, 1998

An Experiment in Identifying Persistent Objects in Large Systems.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Conference on Software Maintenance, 1998

1997

Managing Software Projects by Structured Project Planning.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1997

Identifying objects in legacy systems.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Program Comprehension (WPC '97), May 28-30, 1997, 1997

1996

An Improved Algorithm for Identifying Objects in Code.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1996

A Specification Driven Slicing Process for Identifying Reusable Functions.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 1996

Recovering a Conceptual Data Model from COBOL Code.

[BibT_eX]

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Specifying code analysis tools.

[BibT_eX]

[DOI]

Proceedings of the 1996 International Conference on Software Maintenance (ICSM '96), 1996

1995

Assessing modularization and code scavenging techniques.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 1995

Software salvaging and the call dominance tree.

[BibT_eX]

[DOI]

J. Syst. Softw., 1995

Guest Editor's Introduction: Adding Pieces to the Software Evolution Puzzle.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1995

Qualifying Reusable Functions Using Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 2nd Working Conference on Reverse Engineering, 1995

Prolog for Software Maintenance.

[BibT_eX]

Maria Tortorella

Proceedings of the SEKE'95, 1995

Identifying reusable functions using specification driven program slicing: a case study.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Maintenance, 1995

Algorithms for program dependence graph production.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Maintenance, 1995

1994

RE<sup>2</sup>: Reverse-engineering and reuse re-engineering.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 1994

A Formalism for Structured Planning of a Software Project.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1994

Program comprehension through the identification of abstract data types.

[BibT_eX]

[DOI]

Maria Tortorella

Proceedings of the Proceedings 1994 IEEE 3rd Workshop on Program Comprehension, 1994

A Precise Method for Identifying Reusable Abstract Data Types in Code.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Maintenance, 1994

Software Salvaging Based on Conditions.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Maintenance, 1994

Reengineering Legacy Systems to Meet Quality Requirements: An Experience Report.

[BibT_eX]

[DOI]

P. Antonini

Proceedings of the International Conference on Software Maintenance, 1994

1993

Correction to "A Logic-Based Approach to Reverse Engineering Tools Production".

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1993

Replay-Based Debugging of Occam Programs.

[BibT_eX]

[DOI]

Umberto Villano

Softw. Test. Verification Reliab., 1993

A Reverse Engineering Method for Identifying Reusable Abstract Data Types.

[BibT_eX]

[DOI]

Proceedings of Working Conference on Reverse Engineering, 1993

Reverse Engineering and Interactive Animation of Ada Programs.

[BibT_eX]

Proceedings of the SEKE'93, 1993

Experiments in identifying reusable abstract data types in program code.

[BibT_eX]

[DOI]

Proceedings of the IEEE Second Workshop on Program Comprehension, 1993

Reuse Reengineering and Validation via Concept Assignment.

[BibT_eX]

[DOI]

Anna Rita Fasolino

Paolo Maresca

Proceedings of the Conference on Software Maintenance, 1993

Extracting Abstract Data Types from C Programs: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Conference on Software Maintenance, 1993

1992

A Logic-Based Approach to Reverse Engineering Tools Production.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1992

Reverse-engineering and intermodular data flow: A theoretical approach.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 1992

Reverse engineering processes, design document production, and structure charts.

[BibT_eX]

[DOI]

Paolo Benedusi

J. Syst. Softw., 1992

Towards Reuse Reengineering of Old Software.

[BibT_eX]

[DOI]

Proceedings of the SEKE'92, 1992

Traceability based on design decisions.

[BibT_eX]

[DOI]

Filippo Lanubile

Proceedings of the Conference on Software Maintenance, 1992

SBSE: An Environment for the Specification and Simulation of Finite State Systems.

[BibT_eX]

Proceedings of the Eurosim 1992, Simulation Congress, Proceedings of the 1992 EUROSIM Conference, Capri, Italy, September 28, 1992

1991

Reverse Engineering: Algorithms for Program Graph Production.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1991

A reverse engineering process for design level document production from ADA code.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 1991

1990

Reverse engineering and data flow diagrams in ADA environment.

[BibT_eX]

[DOI]

Microprocessing and Microprogramming, 1990

Maintenance and intermodular dependencies in Pascal environment.

[BibT_eX]

[DOI]

Paolo Maresca

Proceedings of the Conference on Software Maintenance, 1990

1989

A reverse engineering methodology to reconstruct hierarchical data flow diagrams for software maintenance.

[BibT_eX]

[DOI]

Paolo Benedusi

Proceedings of the Conference on Software Maintenance, 1989

1988

Post-maintenance testing based on path change analysis.

[BibT_eX]

[DOI]

Paolo Benedusi

Proceedings of the Conference on Software Maintenance, 1988

1987

Testability and path testing strategies.

[BibT_eX]

[DOI]

Giovanni Cantone

Microprocess. Microprogramming, 1987

1986

Well-Formed Conversion of Unstructured One-in/one-out Schemes for Complexity Measurement and Program Maintenance.

[BibT_eX]

[DOI]

Giovanni Cantone

Comput. J., 1986

1983

Complexity in Program Schemes: The Characteristic Polynomial.

[BibT_eX]

[DOI]

Giovanni Cantone