Travelled to:1 × Australia
1 × Croatia
1 × Germany
1 × Norway
1 × Switzerland
2 × France
5 × USA
Collaborated with:∅ A.Sinha C.Williams C.Yilmaz X.Xiao T.Xie M.Kaplan S.M.S.Jr. A.Hartman M.Katara S.Thummalapenta H.Takeuchi T.Nakamura R.Pandita H.Zhong S.Oney T.Klinger D.P.Pazel P.Varma B.Tibbitts A.Anand P.Charles S.Artzi A.Kiezun J.Dolby F.Tip D.Dig M.D.Ernst
Talks about:model (7) test (7) languag (5) generat (5) case (5) base (5) use (5) natur (4) fault (4) autom (4)
Person: Amit M. Paradkar
DBLP: Paradkar:Amit_M=
Contributed to:
2012
2012
2010
201020082008
2008
2008
2007
20052006
2004
20032004Wrote 14 papers:
- FSE-2012-XiaoPTX #automation #documentation #policy #security
- Automated extraction of security policies from natural-language software documents (XX, AMP, ST, TX), p. 12.
- ICSE-2012-PanditaXZXOP #api #natural language #specification
- Inferring method specifications from natural language API descriptions (RP, XX, HZ, TX, SO, AMP), pp. 815–825.
- ICST-2010-SinhaSP #automation #case study #named #natural language
- Text2Test: Automated Inspection of Natural Language Use Cases (AS, SMSJ, AMP), pp. 155–164.
- RE-2010-SinhaPTN #analysis #automation #case study #natural language
- Extending Automated Analysis of Natural Language Use Cases to Other Languages (AS, AMP, HT, TN), pp. 364–369.
- ICSE-2008-YilmazPW #fault #locality #using
- Time will tell: fault localization using time spectra (CY, AMP, CW), pp. 81–90.
- ICST-2008-KaplanKPSWY #approach #consistency #generative #less is more #modelling #testing #uml
- Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation (MK, TK, AMP, AS, CW, CY), pp. 82–91.
- ISSTA-2008-ArtziKDTDPE #debugging #web
- Finding bugs in dynamic web applications (SA, AK, JD, FT, DD, AMP, MDE), pp. 261–272.
- MoDELS-2008-SinhaKPW #case study #modelling #requirements #using #validation
- Requirements Modeling and Validation Using Bi-layer Use Case Descriptions (AS, MK, AMP, CW), pp. 97–112.
- ESEC-FSE-2007-HartmanKP #automation #testing
- Domain specific approaches to software test automation (AH, MK, AMP), pp. 621–622.
- A-MOST-2005-Paradkar #case study #detection #effectiveness #fault #generative #modelling #testing
- Case studies on fault detection effectiveness of model based test generation techniques (AMP), pp. 70–76.
- A-MOST-J-2005-Paradkar06 #case study #detection #effectiveness #fault #generative #modelling #testing
- A quest for appropriate software fault models: Case studies on fault detection effectiveness of model-based test generation techniques (AMP), pp. 949–959.
- ICSM-2004-PazelVPTAC #assessment #framework #migration
- A Framework and Tool for Porting Assessment and Remediation (DPP, PV, AMP, BT, AA, PC), p. 504.
- SAC-2003-Paradkar #consistency #generative #interactive #modelling #self #testing #towards
- Towards Model-Based Generation of Self-Priming and Self-Checking Conformance Tests for Interactive Systems (AMP), pp. 1110–1117.
- SAC-J-2003-Paradkar04 #consistency #generative #interactive #modelling #self #testing #towards
- Towards model-based generation of self-priming and self-checking conformance tests for interactive system (AMP), pp. 315–322.