@inproceedings{Miss22a,
  author = {Misse-Chanabier, Pierre and Polito, Guillermo and Ducasse, St{\'e}phane and Bouraqadi, Noury and Fabresse, Luc and Tesone, Pablo},
  title = {Differential testing of simulation-based VM generators: automatic detection of VM generator semantic gaps between simulation and generated VMs},
  booktitle = {Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing},
  pages = {1280--1283},
  year = {2022},
  keywords = {pharo-pub, lse-pub}}

{"_id":"ya2rsKvHK27WoL5rF","bibbaseid":"missechanabier-polito-ducasse-bouraqadi-fabresse-tesone-differentialtestingofsimulationbasedvmgeneratorsautomaticdetectionofvmgeneratorsemanticgapsbetweensimulationandgeneratedvms-2022","author_short":["Misse-Chanabier, P.","Polito, G.","Ducasse, S.","Bouraqadi, N.","Fabresse, L.","Tesone, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Misse-Chanabier"],"firstnames":["Pierre"],"suffixes":[]},{"propositions":[],"lastnames":["Polito"],"firstnames":["Guillermo"],"suffixes":[]},{"propositions":[],"lastnames":["Ducasse"],"firstnames":["Stéphane"],"suffixes":[]},{"propositions":[],"lastnames":["Bouraqadi"],"firstnames":["Noury"],"suffixes":[]},{"propositions":[],"lastnames":["Fabresse"],"firstnames":["Luc"],"suffixes":[]},{"propositions":[],"lastnames":["Tesone"],"firstnames":["Pablo"],"suffixes":[]}],"title":"Differential testing of simulation-based VM generators: automatic detection of VM generator semantic gaps between simulation and generated VMs","booktitle":"Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing","pages":"1280–1283","year":"2022","keywords":"pharo-pub, lse-pub","bibtex":"@inproceedings{Miss22a,\n author = {Misse-Chanabier, Pierre and Polito, Guillermo and Ducasse, St{\\'e}phane and Bouraqadi, Noury and Fabresse, Luc and Tesone, Pablo},\n title = {Differential testing of simulation-based VM generators: automatic detection of VM generator semantic gaps between simulation and generated VMs},\n booktitle = {Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing},\n pages = {1280--1283},\n year = {2022},\n keywords = {pharo-pub, lse-pub}}\n\n","author_short":["Misse-Chanabier, P.","Polito, G.","Ducasse, S.","Bouraqadi, N.","Fabresse, L.","Tesone, P."],"key":"Miss22a","id":"Miss22a","bibbaseid":"missechanabier-polito-ducasse-bouraqadi-fabresse-tesone-differentialtestingofsimulationbasedvmgeneratorsautomaticdetectionofvmgeneratorsemanticgapsbetweensimulationandgeneratedvms-2022","role":"author","urls":{},"keyword":["pharo-pub","lse-pub"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/Alamvic/alamvic.github.io/master/rmod.bib","dataSources":["fEdZoivoNw7niKCnP","6nk36bPQjjpq3s62d"],"keywords":["pharo-pub","lse-pub"],"search_terms":["differential","testing","simulation","based","generators","automatic","detection","generator","semantic","gaps","between","simulation","generated","vms","misse-chanabier","polito","ducasse","bouraqadi","fabresse","tesone"],"title":"Differential testing of simulation-based VM generators: automatic detection of VM generator semantic gaps between simulation and generated VMs","year":2022}