{"action":"closed","issue":{"url":"https://api.github.com/repos/opensciences/opensciences.github.io/issues/191","labels_url":"https://api.github.com/repos/opensciences/opensciences.github.io/issues/191/labels{/name}","comments_url":"https://api.github.com/repos/opensciences/opensciences.github.io/issues/191/comments","events_url":"https://api.github.com/repos/opensciences/opensciences.github.io/issues/191/events","html_url":"https://github.com/opensciences/opensciences.github.io/issues/191","id":57659151,"number":191,"title":"Automatic Mining of Specifications from Invocation Traces and Method Invariants","user":{"login":"GeorgePanzerMathew","id":5582924,"avatar_url":"https://avatars.githubusercontent.com/u/5582924?v=3","gravatar_id":"","url":"https://api.github.com/users/GeorgePanzerMathew","html_url":"https://github.com/GeorgePanzerMathew","followers_url":"https://api.github.com/users/GeorgePanzerMathew/followers","following_url":"https://api.github.com/users/GeorgePanzerMathew/following{/other_user}","gists_url":"https://api.github.com/users/GeorgePanzerMathew/gists{/gist_id}","starred_url":"https://api.github.com/users/GeorgePanzerMathew/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/GeorgePanzerMathew/subscriptions","organizations_url":"https://api.github.com/users/GeorgePanzerMathew/orgs","repos_url":"https://api.github.com/users/GeorgePanzerMathew/repos","events_url":"https://api.github.com/users/GeorgePanzerMathew/events{/privacy}","received_events_url":"https://api.github.com/users/GeorgePanzerMathew/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/opensciences/opensciences.github.io/labels/4b.%20No%20Data","name":"4b. No Data","color":"000000"}],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-02-13T21:53:48Z","updated_at":"2015-02-13T21:53:52Z","closed_at":"2015-02-13T21:53:52Z","body":"Authors:\r\nIvo Krka∗ Yuriy Brun Nenad Medvidovic\r\nkrka@google.com brun@cs.umass.edu neno@usc.edu\r\n\r\nDataset: No dataset available"}}