All Stories

  1. A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms - RCR Report

    Article • ACM Transactions on Software Engineering and Methodology, November 2024, ACM (Association for Computing Machinery)

    Domenico Bianculli

  2. Automated anomaly detection for categorical data by repurposing a form filling recommender system

    Article • Journal of Data and Information Quality, September 2024, ACM (Association for Computing Machinery)

    Domenico Bianculli

  3. Rigorous Assessment of Model Inference Accuracy using Language Cardinality

    Article • ACM Transactions on Software Engineering and Methodology, April 2024, ACM (Association for Computing Machinery)

    Domenico Bianculli

  4. Toward Automated Change Impact Analysis of Financial Regulations

    Article • April 2024, ACM (Association for Computing Machinery)

    Domenico Bianculli

  5. Toward Automated Compliance Checking of Fund Activities Using Runtime Verification Techniques

    Article • April 2024, ACM (Association for Computing Machinery)

    Domenico Bianculli

  6. Diagnosing Violations of Time-based Properties Captured in iCFTL

    Article • April 2024, ACM (Association for Computing Machinery)

    Domenico Bianculli

  7. Learning-Based Relaxation of Completeness Requirements for Data Entry Forms

    Article • ACM Transactions on Software Engineering and Methodology, December 2023, ACM (Association for Computing Machinery)

    Domenico Bianculli

  8. Stress Testing Control Loops in Cyber-Physical Systems

    Article • ACM Transactions on Software Engineering and Methodology, September 2023, ACM (Association for Computing Machinery)

    Domenico Bianculli

  9. A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms

    Article • ACM Transactions on Software Engineering and Methodology, May 2022, ACM (Association for Computing Machinery)

    Domenico Bianculli

  10. Guidelines for assessing the accuracy of log message template identification techniques

    Article • May 2022, ACM (Association for Computing Machinery)

    Domenico Bianculli

  11. Log-based slicing for system-level test cases

    Article • July 2021, ACM (Association for Computing Machinery)

    Domenico Bianculli

  12. Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap

    Article • May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Domenico Bianculli

  13. ThEodorE: a Trace Checker for CPS Properties

    Article • May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Domenico Bianculli

  14. Trace-checking signal-based temporal properties

    Article • December 2020, ACM (Association for Computing Machinery)

    Domenico Bianculli

  15. How to accurately identify the format of log messages

    Article • May 2018, ACM (Association for Computing Machinery)

    Domenico Bianculli

  16. Search-Driven String Constraint Solving for Vulnerability Detection

    Article • May 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Domenico Bianculli

  17. Efficient large-scale trace checking using mapreduce

    Article • May 2016, ACM (Association for Computing Machinery)

    Domenico Bianculli

  18. Testing the untestable

    Article • May 2016, ACM (Association for Computing Machinery)

    Domenico Bianculli

  19. Report of the 4th international workshop on principles of engineering service-oriented systems (PESOS 2012)

    Article • ACM SIGSOFT Software Engineering Notes, January 2013, ACM (Association for Computing Machinery)

    Patricia Lago, Andreas Metzger, Domenico Bianculli

  20. Report of the 4th international workshop on principles of engineering service-oriented systems (PESOS 2012)

    Article • ACM SIGSOFT Software Engineering Notes, November 2012, ACM (Association for Computing Machinery)

    Patricia Lago, Andreas Metzger, Domenico Bianculli