Using Online & Blended Learning To Help Students Design Their Best Learning Experiences

•

0 gefällt mir•160 views

Weitere ähnliche Inhalte

Andere mochten auch

Sourcing talent as key recruiting differentiator part 1 A

Sourcing talent as key recruiting differentiator part 1 A

Sourcing talent as key recruiting differentiator part 1 A

Alexander Crépin

A model checker can produce a trace of counter-example for erroneous program, which is often difficult to exploit to locate errors in source code. In my thesis, we proposed an error localization algorithm from counter-examples, named LocFaults, combining approaches of Bounded Model-Checking (BMC) with constraint satisfaction problem (CSP). This algorithm analyzes the paths of CFG (Control Flow Graph) of the erroneous program to calculate the subsets of suspicious instructions to correct the program. Indeed, we generate a system of constraints for paths of control flow graph for which at most k conditional statements can be wrong. Then we calculate the MCSs (Minimal Correction Sets) of limited size on each of these paths. Removal of one of these sets of constraints gives a maximal satisfiable subset, in other words, a maximal subset of constraints satisfying the postcondition. To calculate the MCSs, we extend the generic algorithm proposed by Liffiton and Sakallah in order to deal with programs with numerical instructions more efficiently. This approach has been experimentally evaluated on a set of academic and realistic programs.

Defense of Mohammed Bekkouche's PhD Thesis : "Combining techniques of Bounded...

Defense of Mohammed Bekkouche's PhD Thesis : "Combining techniques of Bounded...

Defense of Mohammed Bekkouche's PhD Thesis : "Combining techniques of Bounded...

Mohammed Bekkouche

Beriman kepada malaikat

Beriman kepada malaikat

Beriman kepada malaikat

Question words

LEC BALI - Kursus Les Bahasa Inggris Private Gratis di Denpasar Bali

Miniature Circuit Breakers (MCB) By Chhotray Tiyu

Miniature Circuit Breakers (MCB) By Chhotray Tiyu

Miniature Circuit Breakers (MCB) By Chhotray Tiyu

UserADgents - apple app store analysis - mar. 2011

UserADgents - apple app store analysis - mar. 2011

UserADgents - apple app store analysis - mar. 2011

Bertrand Lenotre

Andere mochten auch (6)

Sourcing talent as key recruiting differentiator part 1 A

Sourcing talent as key recruiting differentiator part 1 A

Sourcing talent as key recruiting differentiator part 1 A

Defense of Mohammed Bekkouche's PhD Thesis : "Combining techniques of Bounded...

Defense of Mohammed Bekkouche's PhD Thesis : "Combining techniques of Bounded...

Defense of Mohammed Bekkouche's PhD Thesis : "Combining techniques of Bounded...

Beriman kepada malaikat

Beriman kepada malaikat

Beriman kepada malaikat

Question words

Miniature Circuit Breakers (MCB) By Chhotray Tiyu

Miniature Circuit Breakers (MCB) By Chhotray Tiyu

Miniature Circuit Breakers (MCB) By Chhotray Tiyu

UserADgents - apple app store analysis - mar. 2011

UserADgents - apple app store analysis - mar. 2011

UserADgents - apple app store analysis - mar. 2011

Using Online & Blended Learning To Help Students Design Their Best Learning Experiences

1.

2.

3.

4.

5.

6.

7. Inspired? Create your own Haiku Deck presentation on SlideShare! GET STARTED