International Journal on Software Tools for Technology Transfer

Papers
(The TQCC of International Journal on Software Tools for Technology Transfer is 4. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2020-05-01 to 2024-05-01.)
ArticleCitations
The probabilistic model checker Storm61
A taxonomy for classifying runtime verification tools38
Static analysis for discovering IoT vulnerabilities28
Rigorous engineering of collective adaptive systems: special section28
KLEE symbolic execution engine in 201918
An efficient statistical model checker for nondeterminism and rare events16
Swarm model checking on the GPU14
Programming dynamic reconfigurable systems13
OC-PM: analyzing object-centric event logs and process models13
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches11
CPSDebug: Automatic failure explanation in CPS models11
Stream runtime verification of real-time event streams with the Striver language10
First three years of the international verification of neural networks competition (VNN-COMP)10
VerifyThis 2019: a program verification competition9
Algebraic aggregation of random forests: towards explainability and rapid evaluation9
DisCoveR: accurate and efficient discovery of declarative process models9
Verification and refutation of C programs based on k-induction and invariant inference9
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic9
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods9
SaBRe: load-time selective binary rewriting8
Formal methods and tools for industrial critical systems8
ESBMC 6.1: automated test case generation using bounded model checking8
Graph-based technique for survivability assessment and optimization of IoT applications8
Formal testing of timed graph transformation systems using metric temporal graph logic8
The RERS challenge: towards controllable and scalable benchmark synthesis8
Plain random test generation with PRTest8
Correct program parallelisations8
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach7
DFT modeling approach for operational risk assessment of railway infrastructure6
Compositional learning of mutually recursive procedural systems6
Model-based optimization of ARINC-653 partition scheduling5
Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars5
Scalable online first-order monitoring5
SMT solving for the validation of B and Event-B models5
Software test results exploration and visualization with continuous integration and nightly testing5
Incremental execution of rule-based model transformation5
CoCo 2019: report on the eighth confluence competition5
What can we monitor over unreliable channels?5
Comparing mutation coverage against branch coverage in an industrial setting5
Scenario-based verification of uncertain parametric MDPs5
Efficient and expressive bytecode-level instrumentation for Java programs4
CoVeriTest: interleaving value and predicate analysis for test-case generation4
First international competition on software testing4
The Log Skeleton Visualizer in ProM 6.94
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance4
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL4
Towards language-to-language transformation4
Decision-making under uncertainty: beyond probabilities4
Leveraging polyhedral reductions for solving Petri net reachability problems4
Cooperative verifier-based testing with CoVeriTest4
Symbiotic  6: generating test cases by slicing and symbolic execution4
CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation4
0.021404027938843