Difference between revisions of "Mining Parametric Specifications"

From FSL
Jump to: navigation, search
Line 2: Line 2:
 
== August 2010 Technical Report ==
 
== August 2010 Technical Report ==
 
<pub id="lee-chen-rosu-2010-tr" template='PubDefaultWithAbstractAndTitle'></pub>
 
<pub id="lee-chen-rosu-2010-tr" template='PubDefaultWithAbstractAndTitle'></pub>
<private>== Submitted to ICSE'11 ==</private>
+
<private>== Submitted to ICSE'11 ==</private><private><pub id='lee-chen-rosu-2011-icse-submission' template='PubDefaultWithAbstractAndTitle'></pub></private>
<private><pub id='lee-chen-rosu-2011-icse-submission' template='PubDefaultWithAbstractAndTitle'></pub></private>
+
 
== March 2010 Technical Report ==
 
== March 2010 Technical Report ==
 
<pub id="chen-lee-rosu-2010-tr" template='PubDefaultWithAbstractAndTitle'></pub>
 
<pub id="chen-lee-rosu-2010-tr" template='PubDefaultWithAbstractAndTitle'></pub>
<private>== Submitted to ISSTA'10 ==</private>
+
<private>== Submitted to ISSTA'10 ==</private><pub id='chen-lee-rosu-2010-issta-submission' template='PubDefaultWithAbstractAndTitle'></pub>
<pub id='chen-lee-rosu-2010-issta-submission' template='PubDefaultWithAbstractAndTitle'></pub>
+
<private>==Submitted to PLDI'10==</private><pub id='chen-lee-rosu-2010-pldi' template='PubDefaultWithAbstractAndTitle'></pub>
<private>==Submitted to PLDI'10==</private>
+
<private>==Submitted to POPL'10==</private><pub id='chen-lee-rosu-2010-popl' template='PubDefaultWithAbstractAndTitle'></pub>
<pub id='chen-lee-rosu-2010-pldi' template='PubDefaultWithAbstractAndTitle'></pub>
+
<private>==Submitted to POPL'10==</private>
+
<pub id='chen-lee-rosu-2010-popl' template='PubDefaultWithAbstractAndTitle'></pub>
+

Revision as of 20:05, 7 September 2010

August 2010 Technical Report


March 2010 Technical Report




Personal tools
Namespaces

Variants
Actions
Navigation