parcaini

Pinned Repositories

• asmeta

  asmeta main repository with code and examples

  Language:Java144417

• coverage-confidence

  A Robustness-based Confidence Measure for Hybrid System Falsification

  Language:HTML1300

• repairTAsThroughAbstraction

  Language:Java31000

• roadsearch

  RoadSearch on Analysis of Road Representations in Search-Based Testing of Autonomous Driving Systems

  Language:Jupyter Notebook2300

• mutrex

  MutRex - A generator of fault detecting strings for regular expressions

  Language:Java12514

• roby

  robustness analyzer for neural network classifiers

  Language:Python2600

• muskit

  Language:Python2300

• quito

  Language:Python11300

• qusbt-tool

  Language:Python5300

• JSIMutate

  Language:Java2400

parcaini's Repositories