BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Ireland
1 × Russia
1 × USA
Collaborated with:
B.Bonakdarpour S.Fischmeister Y.Joshi C.W.W.Wu S.Berkovich R.Medhat
Talks about:
runtim (2) verif (2) diagnosi (1) abstract (1) trigger (1) softwar (1) program (1) theori (1) sampl (1) enabl (1)

Person: Samaneh Navabpour

DBLP DBLP: Navabpour:Samaneh

Contributed to:

ESEC/FSE 20132013
FM 20112011
LCTES 20112011

Wrote 3 papers:

ESEC-FSE-2013-NavabpourJWBMBF #c #named #runtime #source code #verification
RiTHM: a tool for enabling time-triggered runtime verification for C programs (SN, YJ, CWWW, SB, RM, BB, SF), pp. 603–606.
FM-2011-BonakdarpourNF #runtime #verification
Sampling-Based Runtime Verification (BB, SN, SF), pp. 88–102.
LCTES-2011-NavabpourBF #debugging #testing #using
Software debugging and testing using the abstract diagnosis theory (SN, BB, SF), pp. 111–120.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.