Alloy Community

User login

  • warning: Parameter 3 to block_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 3 to comment_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 3 to locale_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 2 to node_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 2 to profile_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 3 to system_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 2 to user_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 2 to watchdog_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 3 to messaging_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 3 to notifications_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 3 to og_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.
  • warning: Parameter 2 to userpoints_user() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/module.inc on line 386.

khurshid

Recent Activities

PublicationExploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer khurshid3 years 41 weeks ago
PublicationTesting an Intentional Naming Scheme Using Genetic Algorithms khurshid3 years 41 weeks ago
PublicationChecking Java Implementation of a Naming Architecture Using TestEra khurshid3 years 41 weeks ago
PublicationTestEra: A Novel Framework for Automated Testing of Java Programs khurshid3 years 41 weeks ago
PublicationCorrecting a Naming Architecture Using Lightweight Constraint Analysis khurshid3 years 41 weeks ago
PublicationExploring Very Large State Spaces Using Genetic Algorithms khurshid3 years 41 weeks ago
PublicationVAlloy: Virtual Functions Meet a Relational Language khurshid3 years 41 weeks ago
PublicationKorat: Automated Testing Based on Java Predicates khurshid3 years 41 weeks ago
PublicationAn Analyzable Annotation Language khurshid3 years 41 weeks ago
PublicationTestEra: A Novel Framework for Automated Testing of Java Programs khurshid3 years 41 weeks ago
PublicationGenerating Structurally Complex Tests from Declarative Constraints khurshid3 years 41 weeks ago
PublicationIntegrating Model Checking and Theorem Proving for Relational Reasoning khurshid3 years 41 weeks ago
PublicationA Case for Efficient Solution Enumeration khurshid3 years 41 weeks ago
PublicationGeneralized Symbolic Execution for Model Checking and Testing khurshid3 years 41 weeks ago
PublicationTestEra: Specification-based Testing of Java Programs Using SAT khurshid3 years 41 weeks ago
PublicationAn Automated Approach for Writing Alloy Specifications Using Instances khurshid3 years 41 weeks ago
PublicationSequential Circuits for Relational Analysis khurshid3 years 41 weeks ago
PublicationA Specification-based Approach to Testing Software Product Lines (Poster Paper) khurshid3 years 41 weeks ago
Sample ModelsAnalyzing and Correcting an Intentional Naming Scheme khurshid3 years 47 weeks ago

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte