Travelled to:
1 × Austria
1 × Belgium
1 × France
1 × Ireland
1 × Italy
1 × Sweden
2 × Canada
Collaborated with:
P.Fritzson N.Shahmehri D.Byers P.Krajina J.Edvardsson P.Lambrix T.Pålsson T.Gyimóthy
Talks about:
slice (6) dynam (4) interprocedur (3) program (3) test (3) algorithm (2) debug (2) data (2) constraint (1) polymorph (1)
Person: Mariam Kamkar
DBLP: Kamkar:Mariam
Contributed to:
Wrote 11 papers:
- ESEC-FSE-2001-EdvardssonK #analysis #constraints #generative #testing #theorem proving
- Analysis of the constraint solver in UNA based test data generation (JE, MK), pp. 237–245.
- ICSM-2001-ByersKP #dependence #graph
- Syntax-Directed Construction of Value Dependence Graphs (DB, MK, TP), p. 692–?.
- SCAM-2001-ByersK #morphism #parametricity #polymorphism #slicing
- Static Slicing and Parametric Polymorphism (DB, MK), pp. 181–186.
- ITiCSE-1998-LambrixK #education
- Computer science as an integrated part of engineering education (PL, MK), pp. 153–156.
- PDP-1996-KamkarKF #message passing #parallel #slicing #source code
- Dynamic Slicing of Parallel Message-Passing Programs (MK, PK, PF), pp. 170–178.
- ICSM-1995-KamkarK #distributed #slicing #source code
- Dynamic slicing of distributed programs (MK, PK), p. 222–?.
- CSM-1993-KamkarFS #how #interprocedural #slicing #testing
- Interprocedural Dynamic Slicing Applied to Interprocedural Data How Testing (MK, PF, NS), pp. 386–395.
- PLILP-1992-KamkarSF #interprocedural #slicing
- Interprocedural Dynamic Slicing (MK, NS, PF), pp. 370–384.
- PLDI-1991-FritzsonGKS #algorithm #debugging #testing
- Generalized Algorithmic Debugging and Testing (PF, TG, MK, NS), pp. 317–326.
- PLILP-1990-KamkarNF #algorithm #debugging #locality #slicing
- Bug Localization by Algorithmic Debugging and Program Slicing (MK, NS, PF), pp. 60–74.