{"payload":{"pageCount":5,"repositories":[{"type":"Public","name":"FSE-2011-PSPWizard","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":2,"starsCount":6,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-08T13:10:31.639Z"}},{"type":"Public","name":"Paper","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":12,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-11T12:55:00.069Z"}},{"type":"Public","name":"ICSE-2010-Checker-Framework","owner":"SoftwareEngineeringToolDemos","isFork":true,"description":"Pluggable type-checking for Java","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":350,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-10T12:25:20.606Z"}},{"type":"Public","name":"ICSE-2011-Miler","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"Miler is a tool used for exploring email-data","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-08-04T00:47:10.978Z"}},{"type":"Public","name":"ICSE-2011-InconsistencyInspector","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"The project enables you to extract the static and dynamic call graphs for a system.","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-27T21:10:14.127Z"}},{"type":"Public","name":"FSE-2010-Phantm","owner":"SoftwareEngineeringToolDemos","isFork":true,"description":"Static analysis using data-flow and type inference for PHP applications - Implemented in Scala","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":11,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-25T00:04:51.662Z"}},{"type":"Public","name":"ICSE-2011-Quamoco","owner":"SoftwareEngineeringToolDemos","isFork":true,"description":"Open Quality Model and Tool Support for Quality Modelling and Evaluation","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":7,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T21:57:23.160Z"}},{"type":"Public","name":"FSE-2014-BugLocalizer","owner":"SoftwareEngineeringToolDemos","isFork":true,"description":"Bugzilla Extension for Bug Localization","allTopics":[],"primaryLanguage":{"name":"Perl","color":"#0298c3"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T21:47:38.158Z"}},{"type":"Public","name":"FSE-2013-REDACT","owner":"SoftwareEngineeringToolDemos","isFork":true,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T21:18:24.819Z"}},{"type":"Public","name":"FSE-2014-CHOReOSynt","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"CHOReOSynt tool has been conceived to deal with an additional problem, namely, automated choreography enforcement.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T21:12:59.110Z"}},{"type":"Public","name":"ICSE-2012-Egidio","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"Egidio is a tool with the ability to mine processes and organizational models from fine-grained data collected in a non-invasive manner, without interrupting the developers’ work.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T21:12:40.902Z"}},{"type":"Public","name":"ICSE-2013-Linux-Kernel-Benchmark","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"A set of tools to evaluate feature locations for Linux Kernel","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T21:11:34.627Z"}},{"type":"Public","name":"FSE-2011-CrossLayerModeler","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T21:09:05.161Z"}},{"type":"Public","name":"FSE-2013-socialcde","owner":"SoftwareEngineeringToolDemos","isFork":true,"description":"SocialCDE plugin for Eclipse","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":21,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T20:58:51.774Z"}},{"type":"Public","name":"ICSE-2011-MATCON","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":1,"issueCount":4,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T20:58:04.565Z"}},{"type":"Public","name":"ICSE-2011-SEREBRO","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"A lightweight courseware developed for student team collaboration in a software engineering class","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T20:57:04.433Z"}},{"type":"Public","name":"ICSE-2014-semSMT","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"Migrating Code with Statistical Machine Translation","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T20:56:36.859Z"}},{"type":"Public","name":"ICSE-2013-V-ISSUE-LIZER","owner":"SoftwareEngineeringToolDemos","isFork":true,"description":"V:ISSUE:LIZER is a tool which explores requirements clarification in online communication over time","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T20:54:39.404Z"}},{"type":"Public","name":"ICSE-2013-Refoqus","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"Query quality prediction and reformulation for source code search: the refoqus tool","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T20:54:05.950Z"}},{"type":"Public","name":"FSE-2013-RSA-MBT","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"This is a to generate a set of test artifacts from UTP-C, a new test modelling language, diagrams.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T20:45:58.259Z"}},{"type":"Public","name":"ICSE-2011-Dyta","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"Dynamic Symbolic execution guided with static verification results","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T20:41:12.792Z"}},{"type":"Public","name":"FSE-2014-SketchLink","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"SketchLink is a tool to link sketches/diagrams to source code artifacts","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T20:36:39.611Z"}},{"type":"Public","name":"FSE-2013-USMMC","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"A Self-Contained Model Checker for UML State Machines","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T20:35:15.323Z"}},{"type":"Public","name":"FSE-2011-PDE","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"An environment for the design and modeling of domain specific languages","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":3,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T20:34:20.726Z"}},{"type":"Public","name":"FSE-2014-TSmart","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems","allTopics":[],"primaryLanguage":{"name":"Batchfile","color":"#C1F12E"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T20:32:31.288Z"}},{"type":"Public","name":"ICSE-2012-CONTEXTER","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"ConTexter feedback system","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T20:31:36.781Z"}},{"type":"Public","name":"FSE-2014-Archie-Smart-IDE","owner":"SoftwareEngineeringToolDemos","isFork":true,"description":"Repository for Tool Archie : created for SE 510 class under Dr. Emerson Murphy Hill","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":5,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T20:30:22.189Z"}},{"type":"Public","name":"ICSE-2012-MetadataBugFinder","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"This repository contains information related to the tool Metadata Bug Finder","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T20:28:46.953Z"}},{"type":"Public","name":"ICSE-2012-DSOL","owner":"SoftwareEngineeringToolDemos","isFork":true,"description":"DSOL - Declarative Service Orchestration Language <a href=\"http://www.dsol-lang.net\" rel=\"nofollow\">www.dsol-lang.net</a>","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T20:23:31.744Z"}},{"type":"Public","name":"FSE-2014-Titan","owner":"SoftwareEngineeringToolDemos","isFork":false,"description":"CSC 510 Project Repository for the tool Titan","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-24T20:19:01.441Z"}}],"repositoryCount":144,"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":"SoftwareEngineeringToolDemos repositories"}