Travelled to:1 × Brazil
1 × Canada
1 × France
1 × Germany
1 × Latvia
2 × USA
Collaborated with:O.Jack A.Azem M.Beyazit A.Hollmann T.Takagi Z.Furukawa M.Linschulte C.J.Budnik H.A.Stieber
Talks about:test (7) prolog (4) program (3) base (3) implement (2) determin (2) reliabl (2) statechart (1) likelihood (1) pushdown (1)
Person: Fevzi Belli
DBLP: Belli:Fevzi
Contributed to:
2013
20112010
2008
1994
19931993Wrote 8 papers:
- CIAA-2013-BelliB #testing #using
- Using Regular Grammars for Event-Based Testing (FB, MB), pp. 48–59.
- ICST-2011-BelliBTF #automaton #mutation testing #testing
- Mutation Testing of “Go-Back” Functions Based on Pushdown Automata (FB, MB, TT, ZF), pp. 249–258.
- ICST-2010-BelliLBS #detection #fault #sequence #testing
- Fault Detection Likelihood of Test Sequence Length (FB, ML, CJB, HAS), pp. 402–411.
- SAC-2008-BelliH #generative #testing
- Test generation and minimization with “basic” statecharts (FB, AH), pp. 718–723.
- SEKE-1994-AzemB #prolog #reliability #source code
- Reliability determination of Prolog programs (AA, FB), pp. 422–429.
- SEKE-1994-BelliJ #prolog #testing
- A test environment for Prolog (FB, OJ), pp. 430–437.
- ISSTA-1993-BelliJ #analysis #prolog #source code #testing
- Implementation-Based Analysis and Testing of Prolog Programs (FB, OJ), pp. 70–80.
- SEKE-1993-AzemBJ #prolog #reliability #source code #testing
- Implementation-Oriented Testing and Reliability Determination of Prolog Programs (AA, FB, OJ), pp. 526–533.