{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"Swami","owner":"LASER-UMASS","isFork":false,"description":"Swami is a tool to automatically extract test oracles and generate executable tests from structured natural language specifications.","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T20:37:02.368Z"}},{"type":"Public","name":"basic-stats","owner":"LASER-UMASS","isFork":false,"description":"Toy implementation for CS520/620","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":249,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-28T03:23:00.429Z"}},{"type":"Public","name":"Blues","owner":"LASER-UMASS","isFork":false,"description":"This repository contains source code for Blues, an unsupervised information-Retrieval-based fault localization technique that uses bug reports to rank suspicious program statements.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-20T19:41:35.845Z"}},{"type":"Public","name":"TacTok","owner":"LASER-UMASS","isFork":false,"description":"The TacTok automated Coq proof script synthesis tool","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":2,"starsCount":15,"forksCount":4,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-09T22:44:55.087Z"}},{"type":"Public","name":"Diva","owner":"LASER-UMASS","isFork":false,"description":"DIversity in VerificAtion","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-09T22:43:53.476Z"}},{"type":"Public","name":"Passport","owner":"LASER-UMASS","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-09T22:41:39.244Z"}},{"type":"Public","name":"cs520","owner":"LASER-UMASS","isFork":false,"description":"Resources for the CS520 course","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":3,"issueCount":0,"starsCount":1,"forksCount":85,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-09T03:45:10.885Z"}},{"type":"Public","name":"CausalTesting_ICSE20","owner":"LASER-UMASS","isFork":false,"description":"This repository contains the components of the artifact for the ICSE 2020 technical research paper \"Causal Testing: Understanding Defects' Root Causes\". ","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":4,"issueCount":0,"starsCount":8,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-02T20:59:37.455Z"}},{"type":"Public","name":"RAFL","owner":"LASER-UMASS","isFork":false,"description":"This repository contains source code for Rank Aggregation-based Fault Localization (RAFL), an unsupervised technique to combine results of multiple fault localization techniques. ","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-25T15:51:46.310Z"}},{"type":"Public","name":"SBIR-ReplicationPackage","owner":"LASER-UMASS","isFork":false,"description":"This repository contains the source code, data, and results described in the paper titled: Better Automatic Program Repair by Using Bug Reports and Tests Together, in Proceedings of the 45th International Conference on Software Engineering (ICSE), 2023 by Manish Motwani and Yuriy Brun.","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-10T14:49:21.035Z"}},{"type":"Public","name":"JavaRepair-replication-package","owner":"LASER-UMASS","isFork":false,"description":"This repository contains the data and scripts to reproduce the results of the paper: \"Quality of Automated Program Repair on Real-World Defects\", Manish Motwani, Mauricio Soto, Yuriy Brun, René Just, and Claire Le Goues, IEEE Transactions on Software Engineering (TSE), 2020.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-01T15:44:08.704Z"}},{"type":"Public","name":"cs520-Spring2020","owner":"LASER-UMASS","isFork":false,"description":"Resources for the CS520 course held Spring 2020","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":29,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-14T18:48:14.824Z"}},{"type":"Public","name":"transformerbot9002","owner":"LASER-UMASS","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":17,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-21T19:36:36.851Z"}},{"type":"Public","name":"cs520-examples","owner":"LASER-UMASS","isFork":false,"description":"Examples for the 520 course","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-16T01:45:17.027Z"}},{"type":"Public","name":"juliette-trace-api","owner":"LASER-UMASS","isFork":false,"description":"For the Little-JIL run-time environment, a trace is essentially a sequence of real-time process execution events.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-20T16:00:47.264Z"}},{"type":"Public","name":"DeltaDebuggingAssignment","owner":"LASER-UMASS","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-02-03T17:19:00.777Z"}},{"type":"Public","name":"Themis","owner":"LASER-UMASS","isFork":false,"description":"Themis™ is a software fairness tester. ","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":10,"starsCount":101,"forksCount":21,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-06T23:42:58.679Z"}},{"type":"Public","name":"AutomatedRepairApplicabilityData","owner":"LASER-UMASS","isFork":false,"description":"Data and scripts extending the ManyBugs and Defects4J benchmarks for evaluating applicability of automated program repair techniques. ","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":13,"forksCount":8,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-10T19:26:21.423Z"}},{"type":"Public","name":"debugging-examples","owner":"LASER-UMASS","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-04-19T14:47:08.109Z"}}],"repositoryCount":19,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"LASER-UMASS repositories"}