![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 3M4MDA_2006.pdf | 2006-09-12 10:14 | 141K | |
| 10reason.pdf | 2010-10-06 13:04 | 493K | |
| 2018_vamos.pdf | 2017-12-30 16:43 | 762K | |
| 2021-ICST-uncertainty-aware-MBT.pdf | 2021-05-24 12:38 | 442K | |
| ACSOS2022___MAR___MVM.pdf | 2023-07-17 13:16 | 130K | |
| AITEST21.pdf | 2021-12-22 12:35 | 483K | |
| AI_Testing2020.pdf | 2020-02-12 23:09 | 1.5M | |
| ASM2000.pdf | 2006-04-10 12:34 | 269K | |
| ASMETAWithTimeFeature.pdf | 2021-12-22 12:31 | 1.2M | |
| Bonfanti2021_Article_EvaluationOfStereoacuityWithAD.pdf | 2021-12-22 12:32 | 753K | |
| Code_Aware_Combinatorial_Interaction_Testing.pdf | 2020-01-21 09:02 | 889K | |
| CompositionalSimulationConfPaper.pdf | 2023-07-14 15:47 | 490K | |
| DeepTest2024.pdf | 2024-04-20 12:44 | 577K | |
| FM2Citlab13.pdf | 2013-04-12 16:35 | 2.4M | |
| GM.pdf | 2006-04-10 12:34 | 644K | |
| HEALTHINF_2021.pdf | 2020-12-03 12:01 | 157K | |
| HOFM2016_asmPatterns.pdf | 2016-12-10 10:26 | 458K | |
| ICST_2021_Tools.pdf | 2021-04-03 10:21 | 1.4M | |
| ICST_2021_uncert.pdf | 2021-12-22 12:30 | 320K | |
| ICVR_2013.pdf | 2013-10-08 10:22 | 145K | |
| IICSA_DIGITAL_TWINS_22.pdf | 2023-07-17 13:11 | 207K | |
| INTUITESTBEDS2020.pdf | 2021-01-31 09:15 | 2.7M | |
| ISSRE_2021_SI.pdf | 2023-07-14 15:54 | 280K | |
| IWCT15DecisionTree.pdf | 2015-04-02 14:15 | 751K | |
| IWCT2020.pdf | 2020-02-07 18:58 | 327K | |
| IWCT2022 - pMedici.pdf | 2022-06-16 09:17 | 424K | |
| IWCT2023_pMplus.pdf | 2023-07-18 12:23 | 412K | |
| Il_Giornale_dellIngegnere_n.5_21.pdf | 2022-02-18 09:01 | 704K | |
| LTLtestandmonitoring_HVC13.pdf | 2013-09-03 15:44 | 490K | |
| MVM_paper_2021.pdf | 2021-05-24 12:48 | 3.2M | |
| PNRV_nasafm_2017.pdf | 2017-05-17 01:17 | 514K | |
| RATE_STVR_23.pdf | 2023-07-18 17:14 | 5.0M | |
| SEFM2016.pdf | 2016-12-10 10:24 | 506K | |
| SI_HEALTHINF_2021_CCIS.pdf | 2023-07-18 17:17 | 209K | |
| TCS.pdf | 2006-04-10 12:34 | 320K | |
| TOSEM_SRA.pdf | 2006-04-10 12:34 | 519K | |
| TR_DTI_124.pdf | 2009-10-31 08:15 | 618K | |
| TheASMETAApproachToSafetyAssur.pdf | 2021-12-22 12:26 | 1.8M | |
| abz08_avalla.pdf | 2008-12-18 16:50 | 372K | |
| abz10.pdf | 2009-12-18 16:42 | 234K | |
| abz2012_toolDemoAsmeta.pdf | 2012-05-07 13:59 | 106K | |
| abz2016_SI_SCP.pdf | 2018-04-23 12:02 | 661K | |
| abz2016_hemodialysisCaseStudy.pdf | 2016-05-27 13:22 | 403K | |
| abz2018_Animator.pdf | 2018-07-24 17:01 | 532K | |
| abzsi_sttt15.pdf | 2015-08-07 11:10 | 871K | |
| afford2019.pdf | 2020-01-21 09:17 | 825K | |
| afm08.pdf | 2008-12-18 16:50 | 259K | |
| amost09.pdf | 2009-04-20 11:40 | 170K | |
| amost10.pdf | 2010-04-26 12:04 | 245K | |
| amost13.pdf | 2013-02-22 14:57 | 586K | |
| amost_2018.pdf | 2018-03-11 07:56 | 929K | |
| app_fm_2111.08204v1.pdf | 2021-12-22 12:21 | 1.5M | |
| article3d4amb.pdf | 2011-09-26 12:45 | 524K | |
| article3d4ambShort.pdf | 2011-09-26 12:46 | 1.2M | |
| ase11_SATSMT.pdf | 2011-09-26 12:43 | 584K | |
| asm05.pdf | 2008-12-18 16:50 | 454K | |
| asm07.pdf | 2008-12-18 16:50 | 428K | |
| asm2Cpp_JSEP.pdf | 2020-03-10 11:06 | 2.4M | |
| asm2code_ictss18.pdf | 2018-10-22 11:25 | 1.6M | |
| asm2cpp_nasafm17.pdf | 2017-05-17 01:18 | 662K | |
| asm2003.pdf | 2006-04-10 12:34 | 223K | |
| asmVV3DSAT.pdf | 2015-09-14 18:18 | 862K | |
| asm_frappier.pdf | 2008-12-18 16:50 | 174K | |
| asmee_eclipeit07.pdf | 2008-02-04 16:45 | 171K | |
| asmeta_mvm_testingictss21_short.pdf | 2021-08-23 11:35 | 218K | |
| ast09.pdf | 2009-07-18 10:36 | 201K | |
| aurora_icst2013.pdf | 2013-05-27 15:45 | 274K | |
| avocs2014_postProceedings.pdf | 2014-11-27 10:01 | 408K | |
| boolExpTGcomputerJournal2014.pdf | 2015-01-13 13:44 | 1.0M | |
| citlab_toolstrackicst13.pdf | 2013-05-27 15:44 | 320K | |
| citvalidation_iwct2014.pdf | 2014-03-24 19:28 | 356K | |
| combinatorial_testing___parallel_SMT___SAC_SVT.pdf | 2023-07-14 15:28 | 600K | |
| combinatorialgridwetice09.pdf | 2011-09-26 09:58 | 168K | |
| compass.pdf | 2006-04-10 12:34 | 947K | |
| computer_AI2020.pdf | 2021-06-01 10:10 | 846K | |
| cstva11_corrected.pdf | 2011-09-26 11:01 | 152K | |
| ctwedge2018.pdf | 2018-03-11 07:52 | 517K | |
| ctws12.pdf | 2012-05-01 00:25 | 348K | |
| decompAbstractTap2014.pdf | 2014-06-09 18:44 | 547K | |
| decompAbstractionTse2017.pdf | 2017-12-30 16:38 | 2.8M | |
| ea_regexrep_ICTSS2019.pdf | 2020-01-21 09:42 | 516K | |
| eclipseit10Jazz.pdf | 2011-09-26 09:55 | 634K | |
| eclipseit11.pdf | 2011-09-26 09:59 | 329K | |
| eit09.pdf | 2009-10-31 08:16 | 6.2M | |
| eit10extgt.pdf | 2011-08-17 21:34 | 334K | |
| epop_eclipseit12.pdf | 2012-09-26 09:49 | 671K | |
| eqmutantsmutation15.pdf | 2015-03-30 22:30 | 297K | |
| eqmutationIST2016.pdf | 2016-05-27 13:16 | 723K | |
| esec97.pdf | 2006-04-10 12:34 | 1.2M | |
| esec99.pdf | 2008-10-20 17:07 | 204K | |
| esecFse2015.pdf | 2015-09-14 17:38 | 818K | |
| euroasiaSI_2018.pdf | 2018-03-11 08:03 | 723K | |
| eurospi2016SLR_WSMed.pdf | 2017-06-28 11:18 | 300K | |
| faacs_2019.pdf | 2020-01-21 10:08 | 970K | |
| fase03.pdf | 2006-04-10 12:34 | 238K | |
| fdl08.pdf | 2008-12-18 16:50 | 360K | |
| fdlbook_09.pdf | 2009-09-18 20:36 | 257K | |
| hci_2014.pdf | 2014-02-07 23:59 | 584K | |
| hci_2015_paper.pdf | 2015-02-20 13:08 | 4.1M | |
| icsea08.pdf | 2008-12-18 16:50 | 233K | |
| icsea09.pdf | 2009-10-14 10:43 | 291K | |
| icst09.pdf | 2009-04-20 11:40 | 137K | |
| icst15_mutation_fm.pdf | 2015-02-06 12:20 | 782K | |
| icst16_autoDetectionAndRemoval.pdf | 2016-04-07 17:05 | 488K | |
| icst2022.pdf | 2022-04-05 16:47 | 928K | |
| ictss12.pdf | 2012-09-04 09:42 | 383K | |
| icvr113d.pdf | 2011-09-26 10:07 | 712K | |
| ifm2019.pdf | 2020-01-21 09:52 | 1.6M | |
| issre-15.pdf | 2015-10-08 08:08 | 485K | |
| issre2018.pdf | 2018-10-22 15:12 | 906K | |
| issre2018_special_issue_stvr20.pdf | 2021-01-31 09:03 | 1.5M | |
| issre2021.pdf | 2021-12-22 12:39 | 900K | |
| ist11_fault_gf.pdf | 2011-09-26 10:02 | 410K | |
| iwcfs2018_avallatoBDD.pdf | 2018-10-22 11:22 | 252K | |
| iwct2017.pdf | 2017-01-31 19:01 | 2.6M | |
| iwct2021.pdf | 2021-12-22 12:28 | 602K | |
| iwct_2014_citvalidation.pdf | 2014-04-18 10:45 | 348K | |
| jar10.pdf | 2010-10-06 13:12 | 416K | |
| jase09.pdf | 2012-11-13 12:50 | 895K | |
| jiaria10.pdf | 2010-01-30 07:40 | 805K | |
| jlap09.pdf | 2009-10-22 09:39 | 222K | |
| jucs.pdf | 2006-04-10 12:34 | 162K | |
| jucs08.pdf | 2008-11-11 09:50 | 501K | |
| juse09.pdf | 2012-11-13 12:50 | 895K | |
| landingGearSystem_abz2014.pdf | 2014-06-09 18:48 | 441K | |
| mdd_hvc_postconf.pdf | 2014-11-27 09:33 | 591K | |
| mdwe12.pdf | 2012-09-14 12:32 | 306K | |
| mix_tg_fl_IWCT2019.pdf | 2019-05-29 09:24 | 652K | |
| motres05.pdf | 2008-04-03 09:26 | 425K | |
| mutrexSIstvr2017.pdf | 2018-03-11 08:00 | 927K | |
| mutrex_mutation17.pdf | 2017-05-17 01:50 | 286K | |
| nasafm_jisse11.pdf | 2010-09-13 12:54 | 190K | |
| nfm10.pdf | 2010-04-26 12:24 | 172K | |
| nstandardIC.pdf | 2006-04-10 12:34 | 486K | |
| nuseen_eit13.pdf | 2013-09-18 19:49 | 136K | |
| nuseen_icst17ttt.pdf | 2017-01-20 12:10 | 346K | |
| phDthesis.pdf | 2006-04-10 12:34 | 1.2M | |
| phd_paper.pdf | 2020-01-21 09:48 | 1.1M | |
| pillbox_tools2019.pdf | 2019-07-08 12:43 | 766K | |
| regexRepair_ICTSS2018.pdf | 2018-10-22 11:10 | 489K | |
| rehab14_ccis_chapter.pdf | 2016-02-16 18:52 | 1.1M | |
| rehab15_ccis_chapter.pdf | 2017-12-30 16:32 | 1.8M | |
| rehab2015_racecardboard.pdf | 2015-09-11 18:20 | 1.0M | |
| rehabw_14.pdf | 2014-04-10 19:29 | 906K | |
| rv2011_coma.pdf | 2015-04-08 14:50 | 398K | |
| safecomp2018.pdf | 2018-06-14 10:01 | 380K | |
| scp-17.pdf | 2018-04-23 11:55 | 1.9M | |
| scp_asmtest2014.pdf | 2013-10-11 15:35 | 497K | |
| sefm17.pdf | 2018-01-17 12:06 | 327K | |
| sies08.pdf | 2008-12-18 16:50 | 204K | |
| specbook_ch6_asm.pdf | 2006-09-12 10:39 | 119K | |
| splc17.pdf | 2017-11-10 12:02 | 814K | |
| ssbse16_valconstraints.pdf | 2016-12-10 10:21 | 430K | |
| steve.pdf | 2008-02-04 17:35 | 231K | |
| stvr11_ttuples.pdf | 2011-09-26 11:09 | 376K | |
| stvr_mutation.pdf | 2013-12-24 10:27 | 585K | |
| taRepairTAP2019.pdf | 2020-01-21 09:13 | 755K | |
| taicpart09.pdf | 2009-10-22 09:43 | 173K | |
| tap07.pdf | 2008-02-04 16:48 | 398K | |
| tap08.pdf | 2008-12-18 16:50 | 240K | |
| tap09.pdf | 2009-07-18 10:32 | 392K | |
| tbfm_jspe11.pdf | 2012-03-01 00:45 | 463K | |
| testSeqMachinesABZ12.pdf | 2012-09-19 17:11 | 487K | |
| time2006_42_gargantini.pdf | 2006-09-12 10:50 | 225K | |
| uasm_abz16.pdf | 2016-03-14 18:38 | 350K | |
| vamos2018_SI.pdf | 2019-09-11 11:56 | 385K | |
| varivolution2019.pdf | 2020-01-21 09:28 | 1.2M | |
| vibba.pdf | 2006-04-10 12:34 | 203K | |
| votingSystem_abz2014.pdf | 2014-06-09 18:46 | 418K | |
| wcop2012.pdf | 2012-09-26 14:49 | 710K | |
| wett_ssbse12.pdf | 2012-09-26 09:53 | 346K | |
| xssvulnerabilities_ieaaie19.pdf | 2020-01-21 10:02 | 291K | |