AIST

Research output

Research output per year 2009 2022 2023 2024

• 92 Conference contribution
• 29 Article
• 21 Paper
• 12 Chapter
• 18 More
  • 5 Poster
  • 5 Master's Thesis / Diploma Thesis
  • 3 Conference article
  • 1 Abstract
  • 1 Editorial
  • 1 Doctoral Thesis
  • 1 Preprint
  • 1 Working paper/discussion paper

Research output per year

Research output per year

Search results

• 2023

  Pasda: A Partition-based Semantic Differencing Approach with Best Effort Classification of Undecided Cases

  Glock, J., Pichler, J. & Pinzger, M., 14 Nov 2023, arXiv.

  Research output: Working paper › Preprint

  File

  • Semantic Differencing 100%
  • Non-equivalence 100%
  • Equivalence Checking 100%
  • Partitioning Method 100%
  • Timeouts 66%
  81 Downloads (Pure)