Mana Taghdiri

	2007
5		Mana Taghdiri, Daniel Jackson: Inferring specifications to detect errors in code. Autom. Softw. Eng. 14(1): 87-121 (2007)
	2006
4		Mana Taghdiri, Robert Seater, Daniel Jackson: Lightweight extraction of syntactic specifications. SIGSOFT FSE 2006: 276-286
	2004
3		Mana Taghdiri: Inferring Specifications to Detect Errors in Code. ASE 2004: 144-153
	2003
2		Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri: Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. ASE 2003: 94-105
1		Mana Taghdiri, Daniel Jackson: A Lightweight Formal Analysis of a Multicast Key Management Scheme. FORTE 2003: 240-256

Coauthor Index

1	Daniel Jackson	[1] [2] [4] [5]
2	Robert Seater	[2] [4]
3	Ilya Shlyakhter	[2]
4	Manu Sridharan	[2]